scientific article; zbMATH DE number 2176483

MaRDI QIDQ4679533zbMATH OpenFDO

Authors Cecilia E. Nugraheni

Publication date 16 June 2005

Full work available at URL http://edoc.ub.uni-muenchen.de/archive/00001819/

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2079826
• Predicate diagrams for the verification of real-time systems
• Predicate diagrams for the verification of real-time systems
• Diagram-based verification of parameterized systems
• Generalized temporal verification diagrams

Cited in

(8)

• scientific article; zbMATH DE number 2079826 (Why is no real title available?)
• Generalized temporal verification diagrams
• Predicate diagrams for the verification of real-time systems
• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
• Diagram refinements for the design of reactive systems
• scientific article; zbMATH DE number 1479642 (Why is no real title available?)
• Predicate diagrams for the verification of real-time systems
• Diagram-based verification of parameterized systems

Describes a project that uses

Uses Software

• UNITY
• LTL2BA
• MONA
• SPIN
• Kronos

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 Q4679533)