Login / Signup
Merging Process Algebra and Action-based Computation Tree Logic
Zhaohui Zhu
Yan Zhang
Jinjin Zhang
Published in:
CoRR (2012)
Keyphrases
</>
computation tree logic
process algebra
model checking
transition systems
temporal logic
formal specification
concurrent systems
formal verification
formal methods
bounded model checking
asynchronous circuits
temporal properties
epistemic logic
modal logic
linear temporal logic
planning problems
multi agent