|
|
| Top :: Algorithms : More Info |
_
Abstract State Machines
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
http://www.eecs.umich.edu/gasm/
From: Algorithms
Hits: 15
Date: Apr 21, 2008
Votes: 0
Rating: 0.00 |
| _ |
| Comments: There are currently no comments available. |
| _ |
|
|
|
