Pages that link to "Item:Q3454114"
From MaRDI portal
The following pages link to Exploring Theories with a Model-Finding Assistant (Q3454114):
Displaying 4 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- CompoSAT: specification-guided coverage for model finding (Q2024373) (← links)
- Pardinus: a temporal relational model finder (Q2102939) (← links)
- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (Q6104494) (← links)