mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic.
James R. WilcoxYotam M. Y. FeldmanOded PadonSharon ShohamPublished in: CAV (2) (2024)
Keyphrases
- first order logic
- transition systems
- model checking
- concurrent systems
- model checker
- temporal logic
- expressive power
- set theory
- formal verification
- theorem proving
- inference rules
- theorem prover
- finite state
- distributed systems
- markov networks
- knowledge representation
- formal specification
- transitive closure
- petri net
- formal semantics
- formal methods
- practical reasoning
- description language
- markov logic networks
- binary decision diagrams
- modal logic