Efficient SAT-based bounded model checking for software verification

Franjo Ivančić, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar

Research output: Contribution to journalArticlepeer-review

52 Scopus citations

Fingerprint

Dive into the research topics of 'Efficient SAT-based bounded model checking for software verification'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science