scientific article; zbMATH DE number 2000404

MaRDI QIDQ4433933zbMATH OpenFDO

Authors Erika Ábrahám, Ulrich Hannemann, Martin Steffen

Publication date 3 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2178/21780094.htm

zbMATH Keywords

hybrid systemsdeductive methodsmachine-assisted verification

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Formal modelling, analysis and verification of hybrid systems
• Differential dynamic logic for hybrid systems
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• scientific article; zbMATH DE number 744075
• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification

Cited in

(5)

• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Elements of mathematical analysis in PVS
• Formal modelling, analysis and verification of hybrid systems
• Formalization of the integral calculus in the PVS theorem prover
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

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