Mechanised support for sound refinement tactics (Q432151): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370252
@@ Property / cites work: Q4370252 / rank @@
+Normal rank
@@ Property / cites work @@
+A program refinement tool
@@ Property / cites work: A program refinement tool / rank @@
+Normal rank
@@ Property / cites work @@
+ZRC -- A refinement calculus for \(Z\)
@@ Property / cites work: ZRC -- A refinement calculus for \(Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Angelic nondeterminism in the unifying theories of programming
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Patterns for Refinement Automation
@@ Property / cites work: Patterns for Refinement Automation / rank @@
+Normal rank
@@ Property / cites work @@
+A tactic calculus. --- Abridged version
@@ Property / cites work: A tactic calculus. --- Abridged version / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370265
@@ Property / cites work: Q4370265 / rank @@
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+ArcAngel: a tactic language for refinement
@@ Property / cites work: ArcAngel: a tactic language for refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories in ProofPower-Z
@@ Property / cites work: Unifying Theories in ProofPower-Z / 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 @@
+A tactic language for refinement of state-rich concurrent specifications
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / rank @@
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Refinement of Circus Programs
@@ Property / cites work: Automating Refinement of Circus Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding Circus Programs in ProofPowerZ
@@ Property / cites work: Encoding Circus Programs in ProofPowerZ / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical reasoning about families of UTP theories
+Normal rank