Ultimate Automizer
From MaRDI portal
Cited in
(12)- iRankFinder
- Conflict-driven conditional termination
- Efficient interpolation for the theory of arrays
- SMTInterpol
- \textsc{LTL} falsification in infinite-state systems
- Automatic discovery of fair paths in infinite-state transition systems
- Verification by gambling on program slices
- Ultimate Kojak
- FuncTion
- Skink
- Ultimate Taipan
- SMT-based model checking for recursive programs
This page was built for software: Ultimate Automizer
