MoonWalker: Verification of .NET Programs
Abstract elided by the publisher.
Related papers
- Real-Time System Verification using P/T Nets CAV 1994
- Reduction of Workflow Nets for Generalised Soundness Verification VMCAI 2017
- Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets CAV 1990
- Verification of Concurrent Programs Using Petri Net Unfoldings VMCAI 2021
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach CAV 1991
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- Algorithmic verification of asynchronous programs TOPLAS 2012