Refinement-Based Verification of Communicating Unstructured Code

DOI10.1007/978-3-319-41591-8_5zbMath1390.68185OpenAlexW2507015529MaRDI QIDQ4571128

Sabine Glesner, Nils Jähnig, Thomas Göthel

Publication date: 6 July 2018

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://depositonce.tu-berlin.de/handle/11303/10899

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• FDR3

Cites Work

• Unnamed Item
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• Isabelle/HOL. A proof assistant for higher-order logic
• Communicating sequential processes
• Theories of Programming Languages
• FDR3 — A Modern Refinement Checker for CSP

This page was built for publication: Refinement-Based Verification of Communicating Unstructured Code