Fingerprint
Dive into the research topics of 'Pono: A Flexible and Extensible SMT-Based Model Checker'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Pono: A Flexible and Extensible SMT-Based Model Checker
Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark Barrett
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
23
Scopus
citations