Testing for refinement in \textsf{Circus} (Q766162): Difference between revisions

@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL-Z
@@ Property / describes a project that uses: HOL-Z / 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 @@
+csp2B
@@ Property / describes a project that uses: csp2B / 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/s00236-011-0133-z
+Normal rank
@@ Property / OpenAlex ID @@
+W1966324913
@@ Property / OpenAlex ID: W1966324913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436966
@@ Property / cites work: Q4436966 / rank @@
+Normal rank
@@ Property / cites work @@
+csp2B: A practical approach to combining CSP and B
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for refinement in \textsf{Circus}
@@ Property / cites work: Testing for refinement in \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q4509996
@@ Property / cites work: Q4509996 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing algebraic data types and processes: A unifying theory
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+On the testability of SDL specifications
@@ Property / cites work: On the testability of SDL specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737563
@@ Property / cites work: Q4737563 / rank @@
+Normal rank
@@ Property / cites work @@
+On testing UML statecharts
@@ Property / cites work: On testing UML statecharts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Guided Test Generation from CSP Models
@@ Property / cites work: Guided Test Generation from CSP Models / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and (property) inheritance in CSP-OZ
+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 @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494259
@@ Property / cites work: Q4494259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank