Ultimate Automizer

swMATH7407MaRDI QIDQ19439FDOQ19439

Author name not available (Why is that?)

Cited In (6)

• \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
• SMT-based model checking for recursive programs

This page was built for software: Ultimate Automizer