ASM
15 years 2 months ago
2005 ASM 
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
ASM
15 years 2 months ago
2005 ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
ASM
15 years 2 months ago
2005 ASM 
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
ASM
15 years 2 months ago
2005 ASM 
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
ASM
15 years 2 months ago
2005 ASM |
Computational Biology