Extending the Dafny IDE with Tactics and Dead Annotation Analysis (tool demo) (2017)

First Author: Grov G.

Attributed to: DTacs - Program Verifier Tactics : Reducing the Development Time for Program Verifiers with re-usable Verification Strategies funded by EPSRC

No abstract provided

Type: Conference/Paper/Proceeding/Abstract

Volume: 240

ISSN: 20752180