Main › Computers › Algorithms › Algorithms subcat › Abstract State Machines

Abstract State Machines

Edit Page
Report
Scan day: 01 February 2014 UTC
11
Virus safety - good
Description: A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
algorithm, never mind how abstract, be modeled by a generalized machine very closely and faithfully? ... If we stick to one abstract level (abstracting from low-level details and being oblivious to a possible higher-level picture) and if the states of the algorithm reflect all the pertinent information, then a particular small instruction set suffices in all cases.
Size: 367 chars

Contact Information

Phone&Fax: —
Address: —
Extended: —

WEBSITE Info

Page title:Abstract State Machines
Keywords:abstract state machines, evolving algebras, formal methods, specification, verification
Description:Abstract State Machine Home Page
IP-address:141.212.113.142

WHOIS Info

NS
Name Servers: DNS.ITCS.UMICH.EDU 141.211.144.15 DNS2.ITCS.UMICH.EDU 141.211.125.15
WHOIS
Date
activated: 07-Oct-1985
last updated: 16-May-2012
expires: 31-Jul-2014