Verifying data refinements using a model checker (Q851129): Difference between revisions

@@ Property / cites work @@
+A singleton failures semantics for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494252
@@ Property / cites work: Q4494252 / rank @@
+Normal rank
@@ Property / cites work @@
+A state-based approach to communicating processes
@@ Property / cites work: A state-based approach to communicating processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763965
@@ Property / cites work: Q2763965 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking CSP-Z: Strategy, tool support and industrial application
+Normal rank
@@ Property / cites work @@
+Q4472176
@@ Property / cites work: Q4472176 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of CSP refinement
@@ Property / cites work: On the expressive power of CSP refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818812
@@ Property / cites work: Q4818812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436972
@@ Property / cites work: Q4436972 / rank @@
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank