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