Regular Links Sort by: Hits | Alphabetical

Abstract State Machines A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. http://www.eecs.umich.edu/gasm