Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 10.
Verification Conditions for Single-Assignment Programs
Can we efficiently verify concurrent programs under relaxed memory models in Maude?
Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 11.