Login / Signup
Pono: A Flexible and Extensible SMT-Based Model Checker.
Makai Mann
Ahmed Irfan
Florian Lonsing
Yahan Yang
Hongce Zhang
Kristopher Brown
Aarti Gupta
Clark W. Barrett
Published in:
CAV (2) (2021)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
description language
temporal logic
symbolic model checking
formal specification
test suite
ai planning
specification language
set theory
data model
fuzzy logic
object oriented