TY  - CPAPER
AU  - Blázquez, Jorge
AU  - Montenegro Montes, Manuel
AU  - Segura Díaz, Clara María
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/93186
AB  - We address the verification of mutable, heap-allocated abstract data types (ADTs) in Dafny. In particular, we devise a generic verification methodology and apply it to the specification and implementation of linear collections such as stacks,queues,...
LA  - eng
TI  - Verification of mutable data structures in Dafny: methodological aspects
TY  - conference paper
ER  -