107
Voted
ASM
15 years 6 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...
99
Voted
ASM
15 years 6 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...
104
Voted
ASM
15 years 6 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...
119
Voted
ASM
15 years 6 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 6 months ago
2005 ASM |
Computational Biology