Model checking parameterized asynchronous shared-memory systems.
Antoine Durand-GasselinJavier EsparzaPierre GantyRupak MajumdarPublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- model checking
- shared memory
- automated verification
- asynchronous circuits
- temporal logic
- reactive systems
- finite state machines
- message passing
- formal verification
- formal methods
- reachability analysis
- timed automata
- formal specification
- model checker
- epistemic logic
- temporal properties
- symbolic model checking
- heterogeneous platforms
- parallel computing
- distributed memory
- artifact centric
- transition systems
- verification method
- automated reasoning
- computation tree logic
- probabilistic model
- process algebra
- search tree
- parallel algorithm
- distributed systems
- programming language