Model checking CSP based on ASP and critical-trace model of CSP

DOI10.13328/J.CNKI.JOS.004738MaRDI QIDQ2993207zbMATH OpenFDO

Authors Lingzhong Zhao, Zhongyi Zhai, Junyan Qian, Yunchuan Guo

Publication date 10 August 2016

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004738

zbMATH Keywords

communicating sequential processescritical-trace modellinear temporal logicmodel checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking CSP-Z: Strategy, tool support and industrial application
• Symbolic analysis tools for CSP
• Model Checking Abstract State Machines with Answer Set Programming
• scientific article; zbMATH DE number 1693430
• Software model checking based on game semantics and CSP

Cited in

(8)

• Assumption-commitment support for CSP model checking
• Software model checking based on game semantics and CSP
• A Tool for Checking the CSP sat Property
• Inputs and Outputs in CSP
• ASP modulo CSP: The clingcon system.
• Communicating Sequential Processes. The First 25 Years
• Integrated Formal Methods
• Model-checking CSP-Z: Strategy, tool support and industrial application

This page was built for publication: Model checking CSP based on ASP and critical-trace model of CSP

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