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

@@ Property / describes a project that uses @@
+VeriFast
@@ Property / describes a project that uses: VeriFast / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KeY
@@ Property / describes a project that uses: KeY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59611188
@@ Property / Wikidata QID: Q59611188 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-017-0274-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2604673637
@@ Property / OpenAlex ID: W2604673637 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+journals/fmsd/AhrendtCPS17
@@ Property / DBLP publication ID: journals/fmsd/AhrendtCPS17 / rank @@
+Normal rank