Operational semantics for fun and profit

DOI10.1007/11423348_16MaRDI QIDQ5709374zbMATH OpenOpenAlexFDO

Authors Michael Goldsmith

Publication date 29 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136154

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• FDR3 -- a modern refinement checker for CSP
• FDR explorer
• How to make FDR spin LTL model checking of CSP by refinement
• Operational semantics for model checking Circus
• Reducing complex CSP models to traces via priority

Cited in

(5)

• FDR explorer
• Ludics and Web: Another Reading of Standard Operations
• Refined Interfaces for Compositional Verification
• SAT-solving in CSP trace refinement
• FDR3 -- a modern refinement checker for CSP

This page was built for publication: Operational semantics for fun and profit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5709374)