Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.

Zhimin Wu Yi Xu Akin Günay Yang Liu Shengchao Qin

Published in: ICECCS (2016)

Keyphrases

model checking
temporal logic
temporal properties
formal verification
model checker
automated verification
formal specification
finite state

partial order reduction
computation tree logic
timed automata
finite state machines
process algebra
symbolic model checking
verification method
reachability analysis

transition systems
pspace complete
epistemic logic
bounded model checking
formal methods
game theory
concurrent systems
reactive systems

asynchronous circuits
deterministic finite automaton
resource allocation
temporally extended
linear temporal logic
automated reasoning
abstract interpretation
domain independent