The abstract state machines method for high-level system design and analysis
E Börger - Formal Methods: State of the Art and New Directions, 2009 - Springer
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 …
system design and analysis and survey some of its application highlights in industrial …
[BOOK][B] Modeling companion for software practitioners
E Börger, A Raschke - 2018 - Springer
The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …
its operational character: models come as behavioral models in the precise and simple form …
Proving and disproving termination of higher-order functions
The dependency pair technique is a powerful modular method for automated termination
proofs of term rewrite systems (TRSs). We present two important extensions of this …
proofs of term rewrite systems (TRSs). We present two important extensions of this …
[PDF][PDF] A metamodel-based language and a simulation engine for abstract state machines.
In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose
simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They …
simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They …
The ASM method for system design and analysis. A tutorial introduction
E Börger - International Workshop on Frontiers of Combining …, 2005 - Springer
We introduce into and survey the ASM method for high-level system design and analysis.
We explain the three notions—Abstract State Machine [37], ASM ground model (system …
We explain the three notions—Abstract State Machine [37], ASM ground model (system …
[PDF][PDF] The Origins and the Development of the ASM Method for High Level System Design and Analysis.
E Börger - J. Univers. Comput. Sci., 2002 - Citeseer
The research belonging to the Abstract State Machines approach to system design and
analysis is surveyed and documented in an annotated ASM bibliography. The survey covers …
analysis is surveyed and documented in an annotated ASM bibliography. The survey covers …
[BOOK][B] Formal correctness of security protocols
G Bella - 2007 - books.google.com
Computer network security is critical to fraud prevention and accountability. Network
participants are required to observe predefined steps called security protocols, whose proof …
participants are required to observe predefined steps called security protocols, whose proof …
A logic for abstract state machines
RF Stärk, S Nanchen - … Science Logic: 15th International Workshop, CSL …, 2001 - Springer
We introduce a logic for sequential, non distributed Abstract State Machines. Unlike other
logics for ASMs which are based on dynamic logic, our logic is based on atomic propositions …
logics for ASMs which are based on dynamic logic, our logic is based on atomic propositions …
Inductive verification of cryptographic protocols
G Bella - 2000 - cl.cam.ac.uk
The dissertation aims at tailoring Paulson's Inductive Approach for the analysis of classical
cryptographic protocols towards real-world protocols. The aim is pursued by extending the …
cryptographic protocols towards real-world protocols. The aim is pursued by extending the …
[PDF][PDF] Modularizing Theorems for Software Product Lines: The Jbook Case Study.
A goal of software product lines is the economical assembly of programs in a family of
programs. In this paper, we explore how theorems about program properties may be …
programs. In this paper, we explore how theorems about program properties may be …