The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach
No abstract available.
Related papers
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- The Quantitative Verification Benchmark Set TACAS 2019
- Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets CAV 1990
- Verification of Concurrent Programs Using Petri Net Unfoldings VMCAI 2021
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- Petri Net-Based Object-Oriented Modeling of Distributed Systems OOPSLA 1986
- Algorithmic verification of asynchronous programs TOPLAS 2012