Computation and Visualisation of Phase Portraits for Model Checking SPDIs

DOI10.1007/978-3-540-78800-3_25MaRDI QIDQ5458336zbMATH OpenOpenAlexFDO

Authors Gordon J. Pace, Gerardo Schneider

Publication date 11 April 2008

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78800-3_25

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1905117
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems

Cited in

(2)

• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• scientific article; zbMATH DE number 1905117 (Why is no real title available?)

This page was built for publication: Computation and Visualisation of Phase Portraits for Model Checking SPDIs

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