• AsmL

  • Referenced in 42 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...
  • BIOCHAM

  • Referenced in 39 articles [sw09927]
  • Biochemical Abstract Machine (Biocham) is a modelling environment for systems biology, with some unique features...
  • Eden

  • Referenced in 30 articles [sw22186]
  • operational specification of DREAM, the distributed abstract machine for Eden. In this paper ... Eden is translated into PEARL (Parallel Eden Abstract Reduction Language), the parallel functional language...
  • Facile

  • Referenced in 21 articles [sw08679]
  • implementation for Facile: theConcurrent and Functional Abstract Machine (C-FAM). The C-FAM executes concurrent ... instructions and execution rules for the abstract machine. This level of semantic description is suitable...
  • Teyjus

  • Referenced in 15 articles [sw21364]
  • System description: Teyjus—a compiler and abstract machine based implementation of λ prolog. The logic ... culminated in the description of an abstract machine and compiler based implementation scheme. An actual...
  • VIATRA2

  • Referenced in 32 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...
  • PLT Redex

  • Referenced in 20 articles [sw09921]
  • models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite...
  • PARTHEO

  • Referenced in 14 articles [sw09981]
  • extension of Warren’s abstract machine. PARTHEO is written in parallel C and is running...
  • DASWAM

  • Referenced in 13 articles [sw04632]
  • based on modifying the Warren abstract machine (WAM) for parallel execution, and is designed...
  • Jakarta

  • Referenced in 18 articles [sw01269]
  • Code Verifiers by abstraction from the specification of the JavaCard Virtual Machine. The tool takes ... This is a defensive virtual machine, and by abstraction it can be transformed into...
  • seL4

  • Referenced in 65 articles [sw15222]
  • formal, machine-checked verification of the seL4 microkernel from an abstract specification down...
  • PROTOS-L

  • Referenced in 7 articles [sw02876]
  • based on the PROTOS Abstract Machine, an extension of the Warren Abstract Machine...
  • Graphviz

  • Referenced in 73 articles [sw01283]
  • representing structural information as diagrams of abstract graphs and networks. It has important applications ... bioinformatics, software engineering, database and web design, machine learning, and in visual interfaces for other...
  • CoreASM

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

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

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

  • Referenced in 7 articles [sw20842]
  • implementation of the present author’s Abstract Machine for Interaction Nets [5] and uses POSIX...
  • ASMKeY

  • Referenced in 6 articles [sw25427]
  • security logic for abstract state machines. We extend the logic for Abstract State Machines ... machine are in a well-defined region of the abstract memory. The new read predicate...
  • CAT

  • Referenced in 6 articles [sw13881]
  • tabling. The SLGWAM is an abstract machine that can be characterized as a sharing approach...
  • GcPan

  • Referenced in 3 articles [sw22677]
  • GcPan: an Efficient Abstract Machine for Safe Ambients. An efficient abstract machine for safe ambients ... processes called grave interferences. par An abstract machine, called GcPan, for a distributed implementation ... typed SA is presented and studied. Our machine improves over previous proposals for executing ... describe a distributed implementation of the abstract machine in OCaml. More broadly, this study...