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

zbMATH Keywords

verificationlivenessCSPconcurrencyevent orderingdeadlockOccam-\({\pi}\)process-orientation

Mathematics Subject Classification ID

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)

The symbiosis of concurrency and verification: teaching and case studies

Uses Software

• Unnamed Item
• SPIN
• Haskell
• KRoC
• FDR3

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