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

@@ Property / DOI @@
-.1007/s00165-011-0218-z
@@ Property / DOI: 10.1007/s00165-011-0218-z / rank @@
-Normal rank
@@ Property / author @@
-Marcel V. M. Oliveira
@@ Property / author: Marcel V. M. Oliveira / rank @@
-Normal rank
@@ Property / author @@
+Marcel V. M. Oliveira
@@ Property / author: Marcel V. M. Oliveira / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6052557
@@ Property / zbMATH DE Number: 6052557 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tactic language
@@ Property / zbMATH Keywords: tactic language / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement
@@ Property / zbMATH Keywords: refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automation
@@ Property / zbMATH Keywords: automation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Z
@@ Property / zbMATH Keywords: Z / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+unifying theories
@@ Property / zbMATH Keywords: unifying theories / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ClawZ
@@ Property / describes a project that uses: ClawZ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ZRC
@@ Property / describes a project that uses: ZRC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ArcAngel
@@ Property / describes a project that uses: ArcAngel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProofPower
@@ Property / describes a project that uses: ProofPower / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ArcAngelC
@@ Property / describes a project that uses: ArcAngelC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-011-0218-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2064074798
@@ Property / OpenAlex ID: W2064074798 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00165-011-0218-Z
@@ Property / DOI: 10.1007/S00165-011-0218-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:432151