scientific article; zbMATH DE number 1519894

zbMATH Open0953.68088MaRDI QIDQ4509906FDOQ4509906

Authors: Gunnar Wittich 

Publication date: 19 October 2000

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

Recommendations

• Runtime verification of embedded real-time systems
• An iterative approach to verification of real-time systems
• Programming Languages and Systems
• scientific article; zbMATH DE number 49713
• Specification and compositional verification of real-time systems
• Automated compositional proofs for real-time systems
• Fundamental Approaches to Software Engineering
• Proof assistance for real-time systems using an interactive theorem prover

zbMATH Keywords

model checkingformal methods

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 (2)

• Efficient verification of distributed real-time systems with broadcasting behaviors
• The Verus language: Representing time efficiently with BDDs

Uses Software

• HOL

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