Model Checking Parameterized Asynchronous Shared-Memory Systems.
Antoine Durand-GasselinJavier EsparzaPierre GantyRupak MajumdarPublished in: CoRR (2015)
Keyphrases
- model checking
- shared memory
- asynchronous circuits
- automated verification
- temporal logic
- finite state machines
- formal methods
- message passing
- reactive systems
- formal verification
- artifact centric
- timed automata
- model checker
- concurrent systems
- parallel algorithm
- heterogeneous platforms
- reachability analysis
- process algebra
- distributed systems
- symbolic model checking
- verification method
- distributed memory
- bounded model checking
- modal logic
- knowledge based systems
- parallel computing
- image processing
- deterministic finite automaton