CodePlexProject Hosting for Open Source Software
Member SinceOctober 29, 2012
Last VisitOctober 29, 2012
User prefers to not be contacted.
Bytecode Translator: A translator from .NET bytecode to Boogie
Chalice: Specification and Verification of Concurrent Programs
Dafny: An Automatic Program Verifier for Functional Correctness
GPUVerify: A verifier for GPU kernels
No activity in the last 60 days.
No projects being followed.