Model checking sequential software programs via mixed symbolic analysis

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanĉić

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Fingerprint

Dive into the research topics of 'Model checking sequential software programs via mixed symbolic analysis'. Together they form a unique fingerprint.

Engineering & Materials Science