Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We define a programming language independent transaction controller and an operator which when applied to concurrent programs… 
2012
2012
Answer Set Programming (ASP) is a non-monotonic declarative language that is widely applied to different areas in science and… 
2011
2011
This paper explores a new approach to model-driven engineering (MDE) of situation analysis decision support systems for Marine… 
2011
2011
Engineering complex distributed systems calls for systematic approaches that build on well‐defined methodological frameworks and… 
2010
2010
Several problems related to communication among Mobile Ad-hoc NETworks (MANETs) devices can be faced making use of formal models… 
2009
2009
Model-based systems engineering naturally requires abstract executable specifications to facilitate simulation and testing in… 
2009
2009
This paper deals with modular verification of component invariants in the B Method. On the one hand, B imposes severe… 
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… 
2007
2007
We present an approach to model checking Abstract State Machines, in the context of a larger project called CoreASM, which aims… 
2005
2005
We define an abstract operational semantics for the Business Process Execution Language for Web Services (BPEL) based on the…