Pages that link to "Item:Q1617837"
From MaRDI portal
The following pages link to A set solver for finite set relation algebra (Q1617837):
Displaying 8 items.
- 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)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- {log}: A language for programming in logic with finite sets (Q3129506) (← links)
- (Q4790668) (← links)
- (Q5087785) (← links)
- An automatically verified prototype of the Android permissions system (Q6103592) (← links)