The refinement calculus of reactive systems (Q2672236): Difference between revisions

@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Building program construction and verification tools from algebraic principles
+Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of fair action systems
@@ Property / cites work: Refinement of fair action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Simulink Timed Models for Program Verification
@@ Property / cites work: Simulink Timed Models for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous and Bidirectional Component Interfaces
+Normal rank
@@ Property / cites work @@
+A formal framework for modeling and validating simulink diagrams
+Normal rank
@@ Property / cites work @@
+Q3785986
@@ Property / cites work: Q3785986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of non-deterministic dataflow
@@ Property / cites work: A relational model of non-deterministic dataflow / 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 @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Powertrain control verification benchmark
@@ Property / cites work: Powertrain control verification benchmark / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Proof System for QPTL
@@ Property / cites work: Complete Proof System for QPTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473726
@@ Property / cites work: Q4473726 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular code generation from synchronous block diagrams
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of compositional reasoning methods
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanically proving determinacy of hierarchical block diagram translations
+Normal rank
@@ Property / cites work @@
+Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
+Normal rank
@@ Property / cites work @@
+Feedback Refinement Relations for the Synthesis of Symbolic Controllers
+Normal rank
@@ Property / cites work @@
+Algebraic characterization of reducible flowcharts
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Q4492940
@@ Property / cites work: Q4492940 / rank @@
+Normal rank
@@ Property / cites work @@
+Program development by stepwise refinement
@@ Property / cites work: Program development by stepwise refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated Formal Methods
@@ Property / cites work: Integrated Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic translation of Simulink diagrams to input/output extended finite automata
+Normal rank