Software model checking based on game semantics and CSP

MaRDI QIDQ2848417zbMATH OpenFDO

Authors Aleksandar Dimovski, Ranko Lazić

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002392

Mathematics Subject Classification ID

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

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• On-the-Fly Techniques for Game-Based Software Model Checking
• Model checking CSP based on ASP and critical-trace model of CSP
• From CSP to game semantics
• scientific article; zbMATH DE number 2110612

Cited in

(8)

• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Game-theoretic simulation checking tool
• Verifying annotated program families using symbolic game semantics
• Tools and Algorithms for the Construction and Analysis of Systems
• On-the-Fly Techniques for Game-Based Software Model Checking
• Model checking CSP based on ASP and critical-trace model of CSP
• Automated Technology for Verification and Analysis

This page was built for publication: Software model checking based on game semantics and CSP

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