Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

CoreASM

CoreASM is an open source project (licensed under Academic Free License version 3.0) that focuses on the design of a lean executable ASM (Abstract… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Formal specifications play a crucial role in the design of reliable complex software systems. Executable formal specifications… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2011
2011
This paper explores a new approach to model-driven engineering (MDE) of situation analysis decision support systems for Marine… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2011
2011
Engineering complex distributed systems calls for systematic approaches that build on well‐defined methodological frameworks and… Expand
2010
2010
Several problems related to communication among Mobile Ad-hoc NETworks (MANETs) devices can be faced making use of formal models… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2009
2009
Model-based systems engineering naturally requires abstract executable specifications to facilitate simulation and testing in… Expand
  • figure 1.1
  • figure 1.2
  • figure 2.1
  • figure 2.2
  • table 3.1
2009
2009
Abstract State Machines are known for their versatility in modeling of algorithms, architectures, languages, protocols, and… Expand
Highly Cited
2007
Highly Cited
2007
In this paper we introduce a new research effort in making abstract state machines (ASMs) executable. The aim is to specify and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2007
2007
We present an approach to model checking Abstract State Machines, in the context of a larger project called CoreASM, which aims… Expand
  • figure 4.1
  • figure 5.1
  • figure 5.2
  • figure 5.3
  • figure 5.4
2007
2007
In this paper we present an approach to model checking abstract state machines using the Spin model checker. We give an algorithm… Expand
  • figure 1
  • table 1
2005
2005
We define an abstract operational semantics for the Business Process Execution Language for Web Services (BPEL) based on the… Expand
  • figure 1
  • figure 3
  • figure 4