Ultimate Automizer
From MaRDI portal
swMATH7407MaRDI QIDQ19439FDOQ19439
Author name not available (Why is that?)
Official website: http://ultimate.informatik.uni-freiburg.de/automizer/
Cited In (12)
- \textsc{LTL} falsification in infinite-state systems
- Automatic discovery of fair paths in infinite-state transition systems
- Efficient interpolation for the theory of arrays
- Conflict-driven conditional termination
- Verification by gambling on program slices
- SMTInterpol
- FuncTion
- Ultimate Kojak
- Skink
- Ultimate Taipan
- iRankFinder
- SMT-based model checking for recursive programs
This page was built for software: Ultimate Automizer
