A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems

DOI10.1007/11921240_12MaRDI QIDQ3525148zbMATH OpenOpenAlexFDO

Authors Gordon J. Pace, Gerardo Schneider

Publication date 11 September 2008

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

Full work available at URL https://www.um.edu.mt/library/oar//handle/123456789/22556

Mathematics Subject Classification ID

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

Recommendations

• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• scientific article; zbMATH DE number 1905117
• ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems

Cited in

(10)

• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Relaxing Goodness Is Still Good
• Verification, Model Checking, and Abstract Interpretation
• Efficient mode enumeration of compositional hybrid systems
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Computation and Visualisation of Phase Portraits for Model Checking SPDIs
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
• scientific article; zbMATH DE number 1303063 (Why is no real title available?)
• scientific article; zbMATH DE number 1956632 (Why is no real title available?)
• ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems

Describes a project that uses

Uses Software

• SPeeDI

This page was built for publication: A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems

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