481 search results - page 81 / 97 » Model Checking Abstract State Machines and Beyond |
112
click to vote
EAAI
2007
15 years 1 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
TODAES
1998
15 years 1 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
131
click to vote
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
143
click to vote
ECLIPSE
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
111
click to vote
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...