A Tool for Checking the CSP sat Property

DOI10.1093/COMJNL/43.1.13MaRDI QIDQ4950849zbMATH OpenOpenAlexFDO

Authors J. M. R. Martin

Publication date 27 April 2000

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/43.1.13

zbMATH Keywords

algebraic languagecommunicating processes

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• scientific article; zbMATH DE number 1241716
• Model checking CSP based on ASP and critical-trace model of CSP
• Model-checking CSP-Z: Strategy, tool support and industrial application
• Process algebra and model checking

Cited in

(1)

• scientific article; zbMATH DE number 1241716 (Why is no real title available?)

This page was built for publication: A Tool for Checking the CSP sat Property

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