We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …

In the Flashix project, a le system for ash memory has been developed. It is proven
functionally correct and tolerates system crashes such as abrupt power cuts at any point in …

In the field of model based formal methods we investigate the Abstract State Machine (ASM)
modularity features. With the growing complexity of systems and the experience gained in …

We present a model of the security policy for the Web-based Continue [10] conference
management tool. The policy model and properties are written as ASM Relational …

Abstract State Machine formalism (ASM)[1] is used for formal description and modelling of
parallel and asynchronous interconnection in compound systems. A basic assumption for …

In the Flashix project, a le system for ash memory has been developed. It is proven
functionally correct and tolerates system crashes such as abrupt power cuts at any point in …

Abstract State Machines (asms) offer a formalism for describing state transitions over
relational structures. This makes them promising for modeling system features such as …

We propose an approach to the consistent update problem of Abstract State Machines
through a correctness preserving composition operator. Inconsistent updates are …

Modelling complex systems in a coherent and rigorous way is a basic goal in system design.
In particular, the integration of specifications could be a problematic operation having …