scientific article; zbMATH DE number 1519894

MaRDI QIDQ4509906zbMATH OpenFDO

Authors Gunnar Wittich

Publication date 19 October 2000

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)

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

Cited in

(2)

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

Describes a project that uses

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)