Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,278,885 papers from all fields of science
Search
Sign In
Create Free Account
Abstract state machines
Known as:
ASM
, Abstract State Machine
, Evolving Algebras
In computer science, an abstract state machine (ASM) is a state machine operating on states which are arbitrary data structures (structure in the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Algorithm
Axiomatic system
Church–Turing thesis
Computer hardware
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Symbolic Bounded Model Checking of Abstract State Machines
Margus Veanes
,
Nikolaj S. Bjørner
,
Y. Gurevich
,
W. Schulte
International Journal of Software and Informatics
2009
Corpus ID: 16261181
Abstract State Machines (ASMs) allow modeling system behaviors at any desired level of abstraction, including a level with rich…
Expand
Review
2008
Review
2008
Development of Telecommunications Standards and Services with the User Requirements Notation
Daniel Amyot
,
G. Mussbacher
2008
Corpus ID: 160027291
Requirements represent an important aspect of telecommunications standards, whether they apply to protocols, services, or…
Expand
2004
2004
Enabling SystemC Verification using Abstract State Machines
Amjad Gawanmeh
,
Ali Habibi
,
S. Tahar
Forum on Specification and Design Languages
2004
Corpus ID: 17853393
SystemC is a system level language recently proposed to raise the abstraction level for embedded systems design and verification…
Expand
2003
2003
The Expressive Power of Abstract-State Machines
W. Reisig
Computers and artificial intelligence
2003
Corpus ID: 1346893
Conventional computation models assume symbolic representations of states and actions. Gurevich's Abstract-State Machine model…
Expand
1998
1998
Object-based abstract state machines
Jörn W. Janneck
,
P. Kutter
1998
Corpus ID: 59652635
When designing and implementing complex computer sys tems powerful description techniques are needed that allow the repre…
Expand
1998
1998
Interacting Abstract State Machines
W. Schönfeld
Workshop on Abstract State Machines
1998
Corpus ID: 28171897
An exercising device comprises a base member, a shaft rotatably mounted within the base member and a pulley mounted on each end…
Expand
1997
1997
Semantic Validation of VHDL-AMS by an Abstract State Machine
H. Sasaki
,
K. Mizushima
,
T. Sasaki
1997
Corpus ID: 15019327
This report presents a semantic analysis for VHDL-AMS, a mixed-signal extension of VHDL, based on an abstract state machine…
Expand
1997
1997
Verification with Abstract State Machines Using MDGs
E. Cerny
,
F. Corella
,
M. Langevin
,
Xiaoyu Song
,
S. Tahar
,
Zi-Jian Zhou
Formal Hardware Verification
1997
Corpus ID: 35695426
The presence of uninterpreted symbols in the logic means that we must distinguish between a state machine M and its abstract…
Expand
1995
1995
A formalization of evolving algebras
R. Groenboom
,
G. R. D. de Lavalette
,
S. Fischer
,
M. Trautwein
1995
Corpus ID: 63224570
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand