Sign in

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus.

Radu MateescuGwen 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