Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community.
Kristin Y. RozierNatarajan ShankarCesare TinelliMoshe Y. VardiPublished in: FMCAD (2023)
Keyphrases
- model checking
- symbolic model checking
- temporal logic
- open source
- model checker
- formal verification
- partial observability
- formal specification
- finite state
- binary decision diagrams
- symbolic representation
- planning domains
- satisfiability problem
- artificial intelligence
- formal methods
- incomplete information
- source code
- epistemic logic
- domain specific
- search algorithm