Pages that link to "Item:Q396986"

The following pages link to Specification and compositional verification of real-time systems (Q396986):

Displaying 35 items.

• Runtime verification of embedded real-time systems (Q479806) (← links)
• Metric temporal logic with durations (Q673880) (← links)
• A brief history of Timed CSP (Q674191) (← links)
• Using program transformations to provide safety properties for real-time systems (Q704786) (← links)
• Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
• Automated compositional proofs for real-time systems (Q882449) (← links)
• Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption (Q1039302) (← links)
• A trace-based compositional proof theory for fault tolerant distributed systems (Q1330425) (← links)
• A specification-oriented semantics for the refinement of real-time systems (Q1331923) (← links)
• Temporal proof methodologies for timed transition systems (Q1333273) (← links)
• Extending Hoare logic to real-time (Q1346769) (← links)
• Formalizing process algebraic verifications in the calculus of constructions (Q1355748) (← links)
• Deductive verification of real-time systems using STeP (Q1589585) (← links)
• Verification, refinement and scheduling of real-time programs (Q1589590) (← links)
• A specification theory of real-time processes (Q1708707) (← links)
• Real-time refinement in Manna and Pnueli's temporal logic (Q1815342) (← links)
• Analysis and verification of real-time systems using quantitative symbolic algorithms (Q1856174) (← links)
• Real-time system = discrete system + clock variables (Q1856191) (← links)
• Verification of schedulability for real-time programs (Q1904642) (← links)
• A theory of Orwellian specifications with NewThink (Q1906042) (← links)
• Compositional verification of real-time systems with explicit clock temporal logic (Q1918934) (← links)
• A new mechanism for exception handling in concurrent control systems (Q1925136) (← links)
• Formal verification of discrete real-time systems (Q2783116) (← links)
• Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)
• (Q4009917) (← links)
• An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs (Q4209296) (← links)
• Specification and Proof in Real Time CSP (Q4282003) (← links)
• (Q4509906) (← links)
• (Q4952304) (← links)
• Completeness results for two-sorted metric temporal logics (Q5096398) (← links)
• Fundamental Approaches to Software Engineering (Q5316439) (← links)
• Refinement-Based Verification of Interactive Real-Time Systems (Q5403466) (← links)
• (Q5481427) (← links)
• Real-Time Systems (Q5900383) (← links)
• An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)