Login / Signup
Multiple State and Single State Tableaux for Combining Local and Global Model Checking.
Armin Biere
Edmund M. Clarke
Yunshan Zhu
Published in:
Correct System Design (1999)
Keyphrases
</>
model checking
temporal logic
finite state machines
state space
concurrent systems
transition systems