• GROOME

  • Referenced in 2 articles [sw02249]
  • semantics of graphical description documents in GROOME can be completed with symbolic equations and Maple...
  • RGITL

  • Referenced in 6 articles [sw13917]
  • Deduction is based on the principles of symbolic execution and induction, known from the verification ... include an interleaving operator with compositional semantics. As a consequence, the calculus permits proving decomposition...
  • TransG

  • Referenced in 3 articles [sw34443]
  • Embedding. Recently, knowledge graph embedding, which projects symbolic entities and relations into continuous vector space ... addresses a new issue of multiple relation semantics that a relation may have multiple meanings...
  • ACTLW

  • Referenced in 7 articles [sw21031]
  • Action versus logics for transition systems, in: Semantics of Systems of Concurrent Processes, Proceedings LITP ... point characterisation of the operators together with symbolic algorithms for global model checking are shown...
  • verifier

  • Referenced in 3 articles [sw12878]
  • protocols. We simplify the syntax and operational semantics of quantum process calculus qCCS so that ... handle security parameters and quantum states symbolically. We then prove the soundness of the proposed...
  • KnowRob

  • Referenced in 10 articles [sw21530]
  • difference between the (often shallow and symbolic) information in the instructions and the (detailed, grounded ... consider a KR system as a semantically annotated view on information and algorithms that...
  • SemFix

  • Referenced in 5 articles [sw17449]
  • SemFix: program repair via semantic analysis. Debugging consumes significant time and effort in any major ... present an automated repair method based on symbolic execution, constraint solving and program synthesis...
  • ConfigChecker

  • Referenced in 1 article [sw28842]
  • devices being modeled. We encode the semantics of access control policies with Boolean functions using ... then use computation tree logic (CTL) and symbolic model checking to investigate all future...
  • SLING

  • Referenced in 2 articles [sw22022]
  • framework for parsing natural language into semantic frames. SLING supports general transition-based, neural-network ... output frame graphs directly without any intervening symbolic representation. The SLING framework includes an efficient...
  • Vivid

  • Referenced in 3 articles [sw01316]
  • mechanized heterogeneous reasoning that combines diagrammatic and symbolic representation and inference. The framework is presented ... named system states, and develop a formal semantic framework based on 3-valued logic...
  • StrataGEM

  • Referenced in 1 article [sw09813]
  • other models of concurrency by means of symbolic model-checking techniques. StrataGEM marries the well ... great way to describe the semantics of a system, being readable and compact, but their...
  • VMEXT

  • Referenced in 6 articles [sw20981]
  • represented as a tree consisting of terminal symbols, such as identifiers or numbers (leaf nodes ... simultaneously visualizes the presentation elements and the semantic structure of mathematical expressions to enable users...
  • ENuSMV

  • Referenced in 1 article [sw13327]
  • been successfully applied to LTL symbolic model checking. However, the expressiveness of LTL is rather ... logic. In this paper, we present a semantic BMC encoding approach to deal with...
  • Forest

  • Referenced in 1 article [sw11313]
  • that the collection of files, directories, and symbolic links stored on disk satisfy a variety ... This paper describes the design, implementation, and semantics of Forest, a new domain-specific language...
  • Ariel

  • Referenced in 2 articles [sw24050]
  • program verification system based on the symbolic execution of hyperfinite ideal machines.par A hyperfinite ideal ... transition system that gives an operational semantics for the language in which the programs...
  • Metatheory.jl

  • Referenced in 1 article [sw37953]
  • reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable ... help scientists in implementing and reasoning about semantics and all kinds of formal systems...
  • MXYZPTLK

  • Referenced in 5 articles [sw00008]
  • C++ Hacker’s implementation of automatic differentiation...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ACL2

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Boolector

  • Referenced in 32 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...