Specification and Compositional Verification of Real-Time Systems

Beschreibung

This monograph presents two formal methods for the specification and compositional verification of real-time systems. One uses a real-time extension of temporal logic and the other is based on extended Hoare triples. Programs consist of concurrent processes with synchronous message passing. The maximal parallelism model is extended to multiprogramming.

Autor*in

Jozef Hooman

Themen in »Specification and Compositional Verification of Real-Time Systems«

formal specification logic modeling programming programming language real-time semantics system verification

Stimmen zu »Specification and Compositional Verification of Real-Time Systems«

Details

Link teilen