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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2005-2016
02420052016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We introduce a debugger component as an extension of CoreASM to simplify validation of (complex) ASM specifications. As a basis… (More)
  • figure 1
Is this relevant?
2012
2012
Answer Set Programming (ASP) is a non-monotonic declarative language that is widely applied to different areas in science and… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?
2011
2011
The formal specification of a file system for flash memory is the first step towards its verification. But creating such a formal… (More)
Is this relevant?
2011
2011
 
Is this relevant?
2010
2010
This paper presents a tool called ASM-SPV (Abstract State Machines-Security Protocols Verifier) for verifying security protocols… (More)
  • figure 1
  • table III
  • table I
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… (More)
  • figure 1
  • table 1
Is this relevant?
2007
2007
We ease the design of collaborative business processes respecting desired business goals by the composition algorithm presented… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
In this paper we introduce a new research effort in making abstract state machines executable. The aim is to specify and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?