TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems
Abstract elided by the publisher.
Related papers
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits CAV 2000
- Static Race Detection and Mutex Safety and Liveness for Go Programs ECOOP 2020
- Algorithmic verification of asynchronous programs TOPLAS 2012
- Automatic Verification of Erlang-Style Concurrency SAS 2013
- BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems TACAS 2000
- Asynchronous programming, analysis and testing with state machines PLDI 2015
- Deadlock-freedom-by-design: multiparty asynchronous global programming POPL 2013