Model Checking Abstract State Machines and Beyond

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_18 ◽

2000 ◽

pp. 323-340 ◽

Author(s):

Marc Spielmann

Keyword(s):

Model Checking ◽

State Machines ◽

Abstract State Machines

Download Full-text

Direct Support for Model Checking Abstract State Machines by Utilizing Simulation

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_10 ◽

2008 ◽

pp. 112-124 ◽

Author(s):

Jörg Beckers ◽

Daniel Klünder ◽

Stefan Kowalewski ◽

Bastian Schlich

Keyword(s):

Model Checking ◽

State Machines ◽

Abstract State Machines ◽

Download Full-text

Model Checking Abstract State Machines with Answer Set Programming

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/11591191_31 ◽

2005 ◽

pp. 443-458 ◽

Author(s):

Calvin Kai Fan Tang ◽

Eugenia Ternovska

Keyword(s):

Model Checking ◽

Answer Set Programming ◽

State Machines ◽

Abstract State Machines ◽

Download Full-text

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

Software Technology: Methods and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-29852-4_7 ◽

2019 ◽

pp. 89-103

Author(s):

Andrea Bombarda ◽

Silvia Bonfanti ◽

Angelo Gargantini

Keyword(s):

Embedded Systems ◽

Medical Devices ◽

State Machines ◽

Abstract State Machines

Download Full-text

Model-Based Simulation at Runtime with Abstract State Machines

Communications in Computer and Information Science - Software Architecture ◽

10.1007/978-3-030-59155-7_29 ◽

2020 ◽

pp. 395-410

Author(s):

Elvinia Riccobene ◽

Patrizia Scandurra

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Download Full-text

WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

Lecture Notes in Computer Science - The Semantic Web: Research and Applications ◽

10.1007/978-3-540-68234-9_48 ◽

2008 ◽

pp. 659-673 ◽

Author(s):

Dumitru Roman ◽

Michael Kifer ◽

Dieter Fensel

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Concurrent Transaction ◽

Transaction Logic

Download Full-text

The Hidden Computation Steps of Turbo Abstract State Machines

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_14 ◽

2003 ◽

pp. 244-262 ◽

Author(s):

Nicu G. Fruja ◽

Robert F. Stärk

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-319-70848-5_3 ◽

2017 ◽

pp. 15-32 ◽

Author(s):

Farah Al-Shareefi ◽

Alexei Lisitsa ◽

Clare Dixon

Keyword(s):

Process Analysis ◽

State Machines ◽

Critical Systems ◽

Abstract State Machines ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Formalising UML State Machines for Model Checking

Lecture Notes in Computer Science - «UML»’99 — The Unified Modeling Language ◽

10.1007/3-540-46852-8_31 ◽

1999 ◽

pp. 430-444 ◽

Author(s):

Johan Lilius ◽

Iván Porres Paltor

Keyword(s):

Model Checking ◽

State Machines ◽

Uml State Machines

Download Full-text

Quantum Computing and Abstract State Machines

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_18 ◽

2003 ◽

pp. 309-323 ◽

Author(s):

Erich Grädel ◽

Antje Nowack

Keyword(s):

Quantum Computing ◽

State Machines ◽

Abstract State Machines

Download Full-text

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_17 ◽

2007 ◽

pp. 242-256 ◽

Author(s):

Andreas Glausch ◽

Wolfgang Reisig

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text