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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

We introduce a debugger component as an extension of CoreASM to simplify validation of (complex) ASM specifications. As a basis…

2013

Modern networking technologies, such as Cloud or SOA, enable cooperations and individuals to form dynamic coalitions for…

2012

Answer Set Programming (ASP) is a non-monotonic declarative language that is widely applied to different areas in science and…

2011

The formal specification of a file system for flash memory is the first step towards its verification. But creating such a formal…

2010

Scenarios have been used in various stages of the software development process, in particular in requirement elicitation and…

2010

This paper presents a tool called ASM-SPV (Abstract State Machines-Security Protocols Verifier) for verifying security protocols…

2009

This paper deals with modular verification of component invariants in the B Method. On the one hand, B imposes severe…

2007

Criminal events are understood in the context of complex interactions between the most important elements of crime, namely: the…

2006

Abstract State Machines (ASMs) are a proven methodology for the precise high-level specification of formal requirements in early…

2006

. How can one cope with the notorious problem of establishing the correctness and completeness of abstract functional…