Sciweavers

Share
ASM
2005
ASM
9 years 5 days ago
A Modular Design for the Common Language Runtime (CLR) Architecture
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
Nicu G. Fruja
ASM
2005
ASM
9 years 3 months ago
State Exploration with Multiple State Groupings
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...
Colin Campbell, Margus Veanes
ASM
2005
ASM
9 years 3 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
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...
Andrey Novikov, Rostislav Yavorskiy
ASM
2005
ASM
9 years 3 months ago
Tools for System Validation with B Abstract Machines
Michael J. Butler, Michael Leuschel, Colin F. Snoo...
ASM
2005
ASM
9 years 3 months ago
Modeling and Testing Hierarchical GUIs
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
Ana Paiva, Nikolai Tillmann, João C. P. Far...
ASM
2005
ASM
9 years 3 months ago
Scenario based Analysis of Linear Computations
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
Vladimir Filatov, Rostislav Yavorskiy
ASM
2005
ASM
9 years 3 months ago
Verifying Security Protocols: An ASM Approach
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...
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Ge...
ASM
2005
ASM
9 years 3 months ago
Retrenchment and the Mondex Electronic Purse
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...
ASM
2005
ASM
9 years 3 months ago
Time in State Machines
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...
Susanne Graf, Andreas Prinz
ASM
2005
ASM
9 years 3 months ago
AsmL Semantics in Fixpoint
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
Ali Habibi, Sofiène Tahar
books