Software model checking based on game semantics and CSP

zbMATH Open1272.68241MaRDI QIDQ2848417FDOQ2848417

Authors: Aleksandar Dimovski, Ranko Lazić 

Publication date: 26 September 2013

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

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

Mathematics Subject Classification ID

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

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)