• AsmL

  • Referenced in 45 articles [sw11363]
  • AsmL: Abstract State Machine Language. AsmL is an industrial-strength executable specification language ... literate specifications. AsmL is the Abstract State Machine Language. The FSE group develops AsmL ... language based on the theory of Abstract State Machines, invented by Yuri Gurevich. The current...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • models by combining graph transformation and abstract state machines into a single specification paradigm. This ... formal model analysis to carry out powerful abstractions...
  • CoreASM

  • Referenced in 16 articles [sw01936]
  • CoreASM plug-in architecture. Abstract State Machines are known for their versatility in modeling...
  • XASM

  • Referenced in 7 articles [sw21003]
  • XASM- An Extensible, Component-Based Abstract State Machines Language. The Abstract State Machine...
  • ASMKeY

  • Referenced in 6 articles [sw25427]
  • security logic for abstract state machines. We extend the logic for Abstract State Machines ... machine does not read locations containing critical information or that all accesses of the machine ... well-defined region of the abstract memory. The new read predicate is also useful...
  • MAGIC

  • Referenced in 38 articles [sw14159]
  • software components against state-machine specifications. To this aim, MAGIC extracts abstract software models using...
  • ASM Workbench

  • Referenced in 5 articles [sw39223]
  • computer-aided analysis and validation of abstract state machine models. Tool demonstration Gurevich’s Abstract...
  • CoMA

  • Referenced in 4 articles [sw06745]
  • conformance monitoring of java programs by abstract state machines. We present CoMA (Conformance Monitoring ... Abstract State Machines), a specification-based approach and its supporting tool for runtime monitoring ... formal specification given in terms of Abstract State Machines. At runtime, undesirable behaviors ... with behavioral information contained only in the abstract specification. The approach fosters the separation between...
  • AsmetaSMV

  • Referenced in 4 articles [sw16843]
  • presents AsmetaSMV, a model checker for Abstract State Machines (ASMs). It has been developed with...
  • SOCLE

  • Referenced in 2 articles [sw09477]
  • translates a UML model into an Abstract State Machine (ASM) which is transformed ... small a possible subset of states as necessary, has been integrated into the tool...
  • ASMETA

  • Referenced in 2 articles [sw39222]
  • toolset: A set of tools for Abstract State Machines (ASM) based on their Metamodel (AsmM...
  • WebASM

  • Referenced in 2 articles [sw42808]
  • WebASM: an abstract state machine execution environment for the web. We describe WebASM...
  • SMV

  • Referenced in 13 articles [sw04135]
  • designed to allow the description of finite state system that range from completely synchronous ... synchronous Mealy machine or as an asynchronous network of abstract, nondeterministic processes. The language provides ... intended to describe finite state machines, the only data types in the language are finite...
  • CrEme

  • Referenced in 1 article [sw39404]
  • specifications, which are algebraic specifications of abstract machines. The proposed method is based on fixed ... lemmas state predicates whose invariant proofs may (even mutually) depend on other state predicates whose ... finds a counterexample showing that an abstract machine does not satisfy an invariant property ... make the (reachable) state space of the abstract machine finite. Crème is a tool based...
  • Dyna

  • Referenced in 12 articles [sw23357]
  • resembling Prolog inference rules, that specify the abstract structure of a dynamic programming algorithm ... used for parsing, machine translation, morphological analysis, grammar induction, and finite-state modeling...
  • Naira

  • Referenced in 3 articles [sw13682]
  • compiling to a graph-reducing parallel abstract machine with a strong dataflow influence. Unusually (perhaps ... uniquely), Naira has itself been parallelised using state-of-the-art tools developed at Glasgow...
  • CertiKOS

  • Referenced in 8 articles [sw21503]
  • verifying each kernel module at its proper abstraction level. To support certified linking with other ... refinement property for every kernel function, which states that the implementation of each such function ... assembly and runs on stock x86 multicore machines. To our knowledge, this is the first...
  • SMI++

  • Referenced in 2 articles [sw10141]
  • collection of objects behaving as finite state machines. These objects can represent real entities, such ... software tasks, or they can represent abstract subsystems. A special language (SML) is provided...
  • StEAM

  • Referenced in 6 articles [sw01987]
  • software are based on the generation of abstract models from source code, which may greatly ... machine for c++ to include multi-threading and different exploration algorithms on a dynamic state...
  • MDGs

  • Referenced in 3 articles [sw12127]
  • represented by a single variable of abstract type and a data operation is represented ... property checking, 3) State enumeration 4) Equivalence checking of two state machines 5) Model checking...