Specification and compositional verification of real-time systems
From MaRDI portal
Publication:396986
DOI10.1007/3-540-54947-1zbMath1293.68009OpenAlexW2142210186MaRDI QIDQ396986
Publication date: 14 August 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://research.tue.nl/nl/publications/6113a270-c7fe-4015-9f20-c589f4d7d42a
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (14)
A trace-based compositional proof theory for fault tolerant distributed systems ⋮ A specification-oriented semantics for the refinement of real-time systems ⋮ Extending Hoare logic to real-time ⋮ Formalizing process algebraic verifications in the calculus of constructions ⋮ A theory of Orwellian specifications with NewThink ⋮ Compositional verification of real-time systems with explicit clock temporal logic ⋮ A new mechanism for exception handling in concurrent control systems ⋮ Completeness results for two-sorted metric temporal logics ⋮ Metric temporal logic with durations ⋮ A brief history of Timed CSP ⋮ An introduction to compositional methods for concurrency and their application to real-time. ⋮ Real-time refinement in Manna and Pnueli's temporal logic ⋮ Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption ⋮ Verification, refinement and scheduling of real-time programs
This page was built for publication: Specification and compositional verification of real-time systems
