Extending the Dafny IDE with tactics and dead annotation analysis (tool demo)

Gudmund Grov, Yuhui Lin, Léon McGregor, Vytautas Tumas, Duncan Cameron

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Extending the Dafny IDE with tactics and dead annotation analysis (tool demo)'. Together they form a unique fingerprint.

Engineering & Materials Science