EUFORIA: complete software model checking with uninterpreted functions

DOI10.1007/978-3-030-11245-5_17OpenAlexW2909840047MaRDI QIDQ2287098

Karem A. Sakallah, Denis Bueno

Publication date: 23 January 2020

Full work available at URL: https://www.osti.gov/biblio/1592217

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

What’s Decidable About Program Verification Modulo Axioms? ⋮ EUFORIA

Uses Software

• Boolector
• Reveal
• BLAST
• SLAM
• SMT-LIB
• z3
• MOPS
• CTIGAR
• Calysto

This page was built for publication: EUFORIA: complete software model checking with uninterpreted functions