Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems.
Carlos Mão de FerroTiago CogumbreiroFrancisco MartinsPublished in: COORDINATION (2023)
Keyphrases
- model checking
- artifact centric
- automated verification
- temporal logic
- finite state machines
- abstract interpretation
- formal verification
- asynchronous circuits
- reactive systems
- temporal properties
- reachability analysis
- formal specification
- process algebra
- pspace complete
- computation tree logic
- distributed systems
- verification method
- symbolic model checking
- timed automata
- real time systems
- termination analysis
- finite state