CodePlexProject Hosting for Open Source Software
Member SinceFebruary 25, 2010 Last VisitMay 25, 2012
User prefers to not be contacted.
STORM Concurrency Checker
CHESS: Systematic Concurrency Testing Microsoft Research Boogie
May 26, 2012 - Microsoft Research Boogie: fc7123a6c68a, Merge
May 26, 2012 - Microsoft Research Boogie: 104a411b7185, Better interface for adding skipped calls, and adding extra recursion bound to some procedures.
April 11, 2012 - Microsoft Research Boogie: c5e486cb2443, Added functionality to "skip" procedures. Some cleanup.
No projects being followed.
No forks.