• TLAPS

  • Referenced in 10 articles [sw09528]
  • large system specifications. It provides a consistent abstraction over the various “backend” verifiers. The current...
  • CAVA LTL Modelchecker

  • Referenced in 17 articles [sw28830]
  • using the Isabelle theorem prover. The checker consists of over 4000 lines of ML code ... proof of an abstract version of the checker, consisting of a few hundred lines ... step in which mathematical sets and other abstract structures are replaced by implementations of efficient...
  • FEMSTER

  • Referenced in 21 articles [sw00275]
  • element methods. The software consists of a set of abstract interfaces and concrete classes, providing...
  • Aspic

  • Referenced in 24 articles [sw04954]
  • still one of the most powerful, abstract interpretations working in an infinite lattice. As such ... Linear Relation Analysis consisting in computing, when possible, the exact (abstract) effect of a loop...
  • MATISSE

  • Referenced in 27 articles [sw06311]
  • bisimulation based abstraction is particularly useful for the safety verification problem which consists in checking ... reachable set of the abstraction of the system is greater than the precision...
  • MPTP 0.2

  • Referenced in 50 articles [sw02589]
  • using relativization of sorts and deanonymization of abstract terms. Full Mizar proofs are now exported ... experiments. This covers, for example, consistent handling of proof-local constants and proof-local lemmas ... system, too, by remembering (and, if necessary, abstracting from the proof context) the first-order...
  • GENIA corpus

  • Referenced in 11 articles [sw35527]
  • Results: GENIA corpus version 3.0 consisting of 2000 MEDLINE abstracts has been released with more...
  • MSMBuilder

  • Referenced in 2 articles [sw23802]
  • interface, as well as clear and consistent abstractions through its Python application programming interface. MSMBuilder...
  • GraphLab

  • Referenced in 24 articles [sw12830]
  • developed GraphLab, which improves upon abstractions like MapReduce by compactly expressing asynchronous iterative algorithms with ... sparse computational dependencies while ensuring data consistency and achieving a high degree of parallel performance...
  • Isar

  • Referenced in 144 articles [sw04599]
  • proving systems and an appropriate level of abstraction for user-level work. The Isar formal ... Isar formal proof document language. Isabelle/Isar input consists either of proper document constructors, or improper...
  • Verilog

  • Referenced in 10 articles [sw13592]
  • structural levels of abstraction. It has been instrumental in providing consistency across diverse tools-fault...
  • VerICS

  • Referenced in 35 articles [sw02011]
  • disproving safety properties, a new efficient method consisting in translating the reachability problem for Timed ... reachability analysis on an abstract model of the system is performed...
  • bimEX

  • Referenced in 7 articles [sw28292]
  • bundle, which can handle computations involving both abstract tensors and their components. In this communication ... package consists of two main parts. The first part involves the abstract tensors, and focuses...
  • Alfalfa

  • Referenced in 3 articles [sw09414]
  • based on a heterogeneous abstract machine model consisting of both graph reduction and stack oriented...
  • Giotto

  • Referenced in 16 articles [sw08971]
  • Language for Embedded Programming. Giotto provides an abstract programmer’s model for the implementation ... real-time constraints. A typical control application consists of periodic software tasks together with...
  • BISIMULATOR

  • Referenced in 8 articles [sw02526]
  • problem consists in verifying that a system (e.g., a protocol) matches its abstract specification...
  • PARTHEO

  • Referenced in 15 articles [sw09981]
  • proof calculus is model elimination. PARTHEO consists of a uniform network of sequential theorem provers ... implemented as an extension of Warren’s abstract machine. PARTHEO is written in parallel...
  • BDD

  • Referenced in 1 article [sw41641]
  • Component. This Java software component consists of: an abstraction of a boolean formula (split between...
  • DISEASES

  • Referenced in 1 article [sw29290]
  • disease–gene associations from biomedical abstracts. The system consists of a highly efficient dictionary-based...
  • MSCPDL

  • Referenced in 1 article [sw02228]
  • MSCPDL -- a language for behavioural abstraction Distributed systems consist of a set of processes. These...