Abstract State Machines « Smashing Directory ‹ Computers ‹ Algorithms

Abstract State Machines

• Category:Algorithms
• Title: Abstract State Machines
• Url: http://www.eecs.umich.edu/gasm/
• Description: A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
• Clicks:0
• Link added:Jan 7, 2007