Login / Signup

TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems.

Enric PastorMarco A. PeñaMarc Solé
Published in: CAV (2005)
Keyphrases
  • concurrent systems
  • temporal logic
  • distributed systems
  • process algebra
  • model checking
  • formal specification
  • petri net
  • transition systems
  • data sets
  • data mining
  • expert systems
  • discussion forums