Compositional reasoning using intervals and time reversal (Q2251129): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-013-9356-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2032340816
@@ Property / OpenAlex ID: W2032340816 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic semantics of projection temporal logic programs
+Normal rank
@@ Property / cites work @@
+Q3680252
@@ Property / cites work: Q3680252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524764
@@ Property / cites work: Q4524764 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive verification of concurrent systems using symbolic execution
+Normal rank
@@ Property / cites work @@
+Proving linearizability with temporal logic
@@ Property / cites work: Proving linearizability with temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
+Normal rank
@@ Property / cites work @@
+Composition of assumption-commitment specifications in a UNITY style
+Normal rank
@@ Property / cites work @@
+Q5563096
@@ Property / cites work: Q5563096 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
+Normal rank
@@ Property / cites work @@
+Framed temporal logic programming
@@ Property / cites work: Framed temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A complete proof system for propositional projection temporal logic
+Normal rank
@@ Property / cites work @@
+An Introduction to Practical Formal Methods Using Temporal Logic
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
+Normal rank
@@ Property / cites work @@
+PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
+Normal rank
@@ Property / cites work @@
+Q4733442
@@ Property / cites work: Q4733442 / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Process logic: Expressiveness, decidability, completeness
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789445
@@ Property / cites work: Q4789445 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Equations between Regular Terms and an Application to Process Logic
+Normal rank
@@ Property / cites work @@
+Temporal logic and state systems
@@ Property / cites work: Temporal logic and state systems / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Linear Temporal Logic
@@ Property / cites work: Regular Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional temporal logics: decidability and completeness
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754146
@@ Property / cites work: Q2754146 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Interconnections between classes of sequentially compositional temporal formulas
+Normal rank
@@ Property / cites work @@
+Real-Time Systems
@@ Property / cites work: Real-Time Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of PVS
@@ Property / cites work: A Brief Overview of PVS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3496314
@@ Property / cites work: Q3496314 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Linear Temporal Logic with Past
@@ Property / cites work: Regular Linear Temporal Logic with Past / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709867
@@ Property / cites work: Q3709867 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logic Verification of Lock-Freedom
@@ Property / cites work: Temporal Logic Verification of Lock-Freedom / rank @@
+Normal rank
@@ Property / cites work @@
+Q4158490
@@ Property / cites work: Q4158490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964033
@@ Property / cites work: Q3964033 / rank @@
+Normal rank
@@ Property / cites work @@
+A cylinder computation model for many-core parallel computing
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank