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
Is this relevant?
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
Is this relevant?
2009
2009
Abstract State Machines are known for their versatility in modeling of algorithms, architectures, languages, protocols, and… Expand
Is this relevant?
2009
2009
In this paper we introduce JASMine, a CoreASM plug-in providing means to access Java objects and classes from inside an ASM… Expand
Is this relevant?
2008
2008
System design is a creative activity calling for abstract models that facilitate reasoning about the key system attributes… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
2005
Highly Cited
2005
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
Is this relevant?
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
Is this relevant?
2005
2005
In this report we introduce a new research effort in making abstract state machines executable. The aim is to specify and… Expand
  • figure 1.1
  • figure 1.2
  • figure 2.1
  • figure 2.2
  • figure 3.1
Is this relevant?