Abstract State Machines

Title: Abstract State Machines Category: Algorithms Clicks: 1 Listing added: Sep 1, 2008 PageRank: 0/10 Listing Rank:

A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.