Automated verification of reactive and concurrent programs by calculation (Q2043817): Difference between revisions

@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Viewpoint Contract-Based Specification and Design
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+From control law diagrams to Ada via \textsf{Circus}
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Unifying theories of reactive design contracts
@@ Property / cites work: Unifying theories of reactive design contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying theories of time with generalised reactive processes
+Normal rank
@@ Property / cites work @@
+Calculational verification of reactive programs with reactive relations and Kleene algebra
+Normal rank
@@ Property / cites work @@
+Unifying Heterogeneous State-Spaces with Lenses
@@ Property / cites work: Unifying Heterogeneous State-Spaces with Lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Kleene algebra applied to program correctness
+Normal rank
@@ Property / cites work @@
+Normal design algebra
@@ Property / cites work: Normal design algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised rely-guarantee concurrency: an algebraic foundation
+Normal rank
@@ Property / cites work @@
+Q4282663
@@ Property / cites work: Q4282663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theorems and semantics: A folk tale
@@ Property / cites work: Fixed point theorems and semantics: A folk tale / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and Temporal Logics
@@ Property / cites work: Quantales and Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Taming Dr. Frankenstein: contract-based design for cyber-physical systems
+Normal rank
@@ Property / cites work @@
+Object-Orientation in the UTP
@@ Property / cites work: Object-Orientation in the UTP / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebraic framework for specification and validation of real-time systems
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Component Publications and Compositions
@@ Property / cites work: Component Publications and Compositions / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Simulink/Stateflow Diagrams
+Normal rank