Specification and compositional verification of real-time systems

DOI10.1007/3-540-54947-1MaRDI QIDQ396986zbMATHOpenAlexFDO

Authors Jozef Hooman

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:3999508
• Publication:4802384
• Compositional verification of real-time systems with explicit clock temporal logic
• Publication:4341644
• Automated compositional proofs for real-time systems
• Fundamental Approaches to Software Engineering
• Real-Time Systems

Cited in

(40)

• Real-time refinement in Manna and Pnueli's temporal logic
• A new mechanism for exception handling in concurrent control systems
• Specification and Proof in Real Time CSP
• Deductive verification of real-time systems using STeP
• Analysis and verification of real-time systems using quantitative symbolic algorithms
• scientific article; zbMATH DE number 2165687 (Why is no real title available?)
• Extending Hoare logic to real-time
• A specification-oriented semantics for the refinement of real-time systems
• Formal verification of real-time systems with preemptive scheduling
• scientific article; zbMATH DE number 1519894 (Why is no real title available?)
• A brief history of Timed CSP
• Completeness results for two-sorted metric temporal logics
• An introduction to compositional methods for concurrency and their application to real-time.
• Refinement-Based Verification of Interactive Real-Time Systems
• Real time programming. Languages, specification and verification.
• Fundamental Approaches to Software Engineering
• Formal verification of discrete real-time systems
• scientific article; zbMATH DE number 1444724 (Why is no real title available?)
• Metric temporal logic with durations
• Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption
• Compositional verification of real-time systems with explicit clock temporal logic
• Real-Time Systems
• Formalizing process algebraic verifications in the calculus of constructions
• scientific article; zbMATH DE number 62143 (Why is no real title available?)
• Temporal proof methodologies for timed transition systems
• Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm
• Verification of schedulability for real-time programs
• scientific article; zbMATH DE number 53319 (Why is no real title available?)
• A specification theory of real-time processes
• A theory of Orwellian specifications with NewThink
• Using program transformations to provide safety properties for real-time systems
• Automated compositional proofs for real-time systems
• scientific article; zbMATH DE number 5044784 (Why is no real title available?)
• scientific article; zbMATH DE number 49713 (Why is no real title available?)
• Time-Bounded Verification of CTMCs against Real-Time Specifications
• scientific article; zbMATH DE number 2166721 (Why is no real title available?)
• Real-time system = discrete system + clock variables
• A trace-based compositional proof theory for fault tolerant distributed systems
• Runtime verification of embedded real-time systems
• Verification, refinement and scheduling of real-time programs

This page was built for publication: Specification and compositional verification of real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q396986)