Add to ORKGAbstract. In [8], we presented a logic for Abstract State Machines (ASMs). In this technical report, we present an interactive theorem prover call ASMKeY where we implemented this logic. We also present a small case study to show the effectivness of our approach.
AbstractAbstract State Machines (ASMs) were introduced as “a computation model that is more powerful...
In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstra...
This paper presents AsmetaSMV, a model checker for Abstract State Machines (ASMs). It has been devel...
Abstract state machines (originally called evolving algebras) constitute a modern computation model ...
Along the years, Abstract State Machines (ASMs) have been successfully applied for modeling critica...
AbstractThe abstract state machine (ASM) is a modern computation model. ASMs and ASM based tools are...
Abstract State Machines (ASM) have been introduced as “a computation model that is more powerful and...
Over the last twenty years, Abstract State Machines (ASMs) have been used to describe and validate a...
This report explains basic notions and concepts of Abstract State Machines (ASM) as well as notation...
AbstractWe extend the logic for abstract state machines by a read predicate that allows to make prec...
... we should have achieved a mathematical model of computation, perhaps highly abstract in contrast...
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying com...
This thesis introduces several structuring and composition principles for Abstract State Machines (A...
State Machines. Unlike other logics for ASMs which are based on dynamic logic, our logic is based on...
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs)...
AbstractAbstract State Machines (ASMs) were introduced as “a computation model that is more powerful...
In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstra...
This paper presents AsmetaSMV, a model checker for Abstract State Machines (ASMs). It has been devel...
Abstract state machines (originally called evolving algebras) constitute a modern computation model ...
Along the years, Abstract State Machines (ASMs) have been successfully applied for modeling critica...
AbstractThe abstract state machine (ASM) is a modern computation model. ASMs and ASM based tools are...
Abstract State Machines (ASM) have been introduced as “a computation model that is more powerful and...
Over the last twenty years, Abstract State Machines (ASMs) have been used to describe and validate a...
This report explains basic notions and concepts of Abstract State Machines (ASM) as well as notation...
AbstractWe extend the logic for abstract state machines by a read predicate that allows to make prec...
... we should have achieved a mathematical model of computation, perhaps highly abstract in contrast...
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying com...
This thesis introduces several structuring and composition principles for Abstract State Machines (A...
State Machines. Unlike other logics for ASMs which are based on dynamic logic, our logic is based on...
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs)...
AbstractAbstract State Machines (ASMs) were introduced as “a computation model that is more powerful...
In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstra...
This paper presents AsmetaSMV, a model checker for Abstract State Machines (ASMs). It has been devel...