The following pages link to Maximiliano Cristiá (Q1617836):
Displaying 11 items.
- A set solver for finite set relation algebra (Q1617837) (← links)
- Automated proof of Bell-LaPadula security properties (Q2031424) (← links)
- An automatically verified prototype of the Tokeneer ID station specification (Q2069869) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- A decision procedure for restricted intensional sets (Q2405250) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Adding partial functions to Constraint Logic Programming with sets (Q4593005) (← links)
- A Decision Procedure for Sets, Binary Relations and Partial Functions (Q4633533) (← links)
- (Q5087785) (← links)
- An automatically verified prototype of the Android permissions system (Q6103592) (← links)
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)
