Specification and compositional verification of real-time systems

DOI10.1007/3-540-54947-1zbMATH Open1293.68009OpenAlexW2142210186MaRDI QIDQ396986FDOQ396986

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

Recommendations

• scientific article; zbMATH DE number 49713
• scientific article; zbMATH DE number 1897216
• Compositional verification of real-time systems with explicit clock temporal logic
• scientific article; zbMATH DE number 1023673
• Automated compositional proofs for real-time systems
• Fundamental Approaches to Software Engineering
• Real-Time Systems

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)

Cited In (39)

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

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)