Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555): Difference between revisions

@@ Property / cites work @@
+Combining test case generation and runtime verification
+Normal rank
@@ Property / cites work @@
+Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
+Normal rank
@@ Property / cites work @@
+A system for compositional verification of asynchronous objects
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Collaborative Verification and Testing with Explicit Assumptions
+Normal rank
@@ Property / cites work @@
+Q4721623
@@ Property / cites work: Q4721623 / rank @@
+Normal rank
@@ Property / cites work @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank