Evolving algebras 1993: Lipari guide
Specification and validation methods
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Building domain-specific embedded languages
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Program development by stepwise refinement
Communications of the ACM
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Z/EVES Version 1.5: An Overview
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
An Evolving Algebra Abstract Machine
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
leanEA: A Lean Evolving Algebra Compiler
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Background, Reserve, and Gandy Machines
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Casl User Manual: Introduction to Using the Common Algebraic Specification Language Casl (Lecture Notes in Computer Science, 2900)
Extensibility in programming language design
ACM SIGPLAN Notices - Special issue on programming language design
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Chapter I: Notes on structured programming
Structured programming
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Concurrent Abstract State Machines and + CAL Programs
Recent Trends in Algebraic Development Techniques
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
The CoreASM modeling framework
Software—Practice & Experience
Engineering Situation Analysis Decision Support Systems
EISIC '11 Proceedings of the 2011 European Intelligence and Security Informatics Conference
A formal engineering approach to high-level design of situation analysis decision support systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Rigorous Methods for Software Construction and Analysis
An ASM model of concurrency in a web browser
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Guest editors' introduction to the 4th issue of Experimental Software and Toolkits (EST-4)
Science of Computer Programming
| Hi-index | 0.00 |
Formal specifications play a crucial role in the design of reliable complex software systems. Executable formal specifications allow the designer to attain early validation and verification of design using static analysis techniques and accurate simulation of the runtime behavior of the system-to-be. With increasing complexity of software-intensive computer-based systems and the challenges of validation and verification of abstract software models prior to coding, the need for interactive software tools supporting executable formal specifications is even more evident. In this paper, we discuss how CoreASM, an environment for writing and running executable specifications according to the ASM method, provides flexibility and manages the complexity by using an innovative extensible language architecture.