Verification of mutable linear data structures and iterator-based algorithms in Dafny
From MaRDI portal
Publication:6113015
DOI10.1016/j.jlamp.2023.100875MaRDI QIDQ6113015
Manuel Montenegro, Clara Segura, Jorge Blázquez
Publication date: 8 August 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Related Items (1)
Cites Work
- Unnamed Item
- Modular invariants for layered object structures
- Software engineering and formal methods. 12th international conference, SEFM 2014, Grenoble, France, September 1--5, 2014. Proceedings
- Behavioral interface specification languages
- Correct Code Containing Containers
- Dafny: An Automatic Program Verifier for Functional Correctness
- Mechanized Verification with Sharing
- Using History Invariants to Verify Observers
- Programming Languages and Systems
- Verification of mutable linear data structures and iterator-based algorithms in Dafny
This page was built for publication: Verification of mutable linear data structures and iterator-based algorithms in Dafny