The symbiosis of concurrency and verification: teaching and case studies
DOI10.1007/S00165-017-0447-XzbMath1382.68144OpenAlexW2778176582WikidataQ59612703 ScholiaQ59612703MaRDI QIDQ1707345
Peter H. Welch, Jan Bækgaard Pedersen
Publication date: 29 March 2018
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-017-0447-x
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theoretical computer science (educational aspects) (97P20)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The symbiosis of concurrency and verification: teaching and case studies
- Understanding concurrent systems
- Dafny: An Automatic Program Verifier for Functional Correctness
- FDR3 — A Modern Refinement Checker for CSP
- Communicating Sequential Processes. The First 25 Years
- Communicating Sequential Processes. The First 25 Years
This page was built for publication: The symbiosis of concurrency and verification: teaching and case studies