Automatic verification for a class of distributed systems
From MaRDI portal
Publication:5137900
DOI10.1007/PL00008915zbMath1448.68347MaRDI QIDQ5137900
Publication date: 3 December 2020
Published in: Distributed Computing (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about networks with many identical finite state processes
- An axiomatic proof technique for parallel programs
- Lectures on Petri nets. 1: Basic models. Advances in Petri nets
- Proving Liveness Properties of Concurrent Programs
- Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
- Reasoning about systems with many processes