Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015): Difference between revisions

@@ Property / cites work @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+Behavioral interface specification languages
@@ Property / cites work: Behavioral interface specification languages / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Code Containing Containers
@@ Property / cites work: Correct Code Containing Containers / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of mutable linear data structures and iterator-based algorithms in Dafny
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modular invariants for layered object structures
@@ Property / cites work: Modular invariants for layered object structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855425
@@ Property / cites work: Q4855425 / rank @@
+Normal rank
@@ Property / cites work @@
+Using History Invariants to Verify Observers
@@ Property / cites work: Using History Invariants to Verify Observers / rank @@
+Normal rank
@@ Property / cites work @@
+Software engineering and formal methods. 12th international conference, SEFM 2014, Grenoble, France, September 1--5, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Mechanized Verification with Sharing
@@ Property / cites work: Mechanized Verification with Sharing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6113015