Login / Signup
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus.
Radu Mateescu
Gwen Salaün
Published in:
TACAS (2013)
Keyphrases
</>
model checking
process algebra
temporal logic
model checker
temporal properties
artificial intelligence
markov chain
finite state
specification language
asynchronous circuits