Specification and compositional verification of real-time systems
From MaRDI portal
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
Cited in
(44)- Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption
- A trace-based compositional proof theory for fault tolerant distributed systems
- A specification-oriented semantics for the refinement of real-time systems
- Temporal proof methodologies for timed transition systems
- Extending Hoare logic to real-time
- Formalizing process algebraic verifications in the calculus of constructions
- Deductive verification of real-time systems using STeP
- Verification, refinement and scheduling of real-time programs
- A specification theory of real-time processes
- Real-time refinement in Manna and Pnueli's temporal logic
- Analysis and verification of real-time systems using quantitative symbolic algorithms
- Real-time system = discrete system + clock variables
- Verification of schedulability for real-time programs
- 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
- Formal verification of discrete real-time systems
- Time-Bounded Verification of CTMCs against Real-Time Specifications
- Real time programming. Languages, specification and verification.
- scientific article; zbMATH DE number 49713 (Why is no real title available?)
- scientific article; zbMATH DE number 53319 (Why is no real title available?)
- scientific article; zbMATH DE number 62143 (Why is no real title available?)
- An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
- Specification and Proof in Real Time CSP
- scientific article; zbMATH DE number 1519894 (Why is no real title available?)
- scientific article; zbMATH DE number 2166721 (Why is no real title available?)
- scientific article; zbMATH DE number 2165687 (Why is no real title available?)
- Runtime verification of embedded real-time systems
- scientific article; zbMATH DE number 1444724 (Why is no real title available?)
- Completeness results for two-sorted metric temporal logics
- Fundamental Approaches to Software Engineering
- Refinement-Based Verification of Interactive Real-Time Systems
- scientific article; zbMATH DE number 5044784 (Why is no real title available?)
- Real-Time Systems
- 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
- Metric temporal logic with durations
- A brief history of Timed CSP
- Compositional reasoning using the assumption-commitment paradigm
- Lazy compositional verication
- The need for compositional proof systems: a survey
- Using program transformations to provide safety properties for real-time systems
- Formal verification of real-time systems with preemptive scheduling
- Automated compositional proofs for real-time systems
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)
