VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software
No abstract available.
DOI 10.1007/3-540-63166-6_52
Related papers
- Automatically Closing Open Reactive Programs PLDI 1998
- Model Checking for Programming Languages using Verisoft POPL 1997
- SDNRacer: concurrency analysis for software-defined networks PLDI 2016
- LoRe: A Programming Model for Verifiably Safe Local-first Software TOPLAS 2024
- Runtime verification and validation of functional reactive systems JFP 2020
- Modular Refinement of Hierarchic Reactive Machines POPL 2000
- Modular refinement of hierarchic reactive machines TOPLAS 2004
- SCRATCH: a tool for automatic analysis of dma races PPoPP 2011