Proceedings of the Fourth Annual Symposium on Logic in computer science
Model checking using net unfoldings
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
CMC: A Tool for Compositional Model-Checking of Real-Time Systems
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
PEP - More than a Petri Net Tool
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Hi-index | 0.00 |
RT-MEC is a tool box for validation (via graphical simulation) and verification (via model checking and equivalence checking) of real time systems based on partial order reduction [11] and on-the-fly technique [10]. It is appropriate for systems that can be modelled as Petri nets with real (dense) time. The tool is available within the system PEP (Programming Environment based on Petri nets) [4]. In this note, we present the RT-MEC tool, including general unique features, and summarize our development and usage experience.