Proving entailment between conceptual state specifications (Q1095649): Difference between revisions

@@ Property / cites work @@
+Verifying temporal properties without temporal logic
+Normal rank
@@ Property / cites work @@
+Abstract data types and software validation
@@ Property / cites work: Abstract data types and software validation / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4745241
@@ Property / cites work: Q4745241 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank