Web Directory
 

Abstract State Machines

  Link Details for: Abstract State Machines
Link Title: Abstract State Machines Open in a new window
Link URL: http://www.eecs.umich.edu/gasm/
Link Details: A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Category: Top : Computers : Algorithms
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Abstract State Machines