d-parkinson1 / dafnyinfoflow Goto Github PK
View Code? Open in Web Editor NEWAn extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.