scientific article; zbMATH DE number 2176483

zbMATH Open1103.68076MaRDI QIDQ4679533FDOQ4679533

Authors: Cecilia E. Nugraheni 

Publication date: 16 June 2005

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Generalized temporal verification diagrams
• Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
• Predicate diagrams for the verification of real-time systems
• Diagram refinements for the design of reactive systems
• Title not available (Why is that?)
• Predicate diagrams for the verification of real-time systems
• Diagram-based verification of parameterized systems

Uses Software

• Kronos
• SPIN
• MONA
• LTL2BA
• UNITY

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)