• Pex

  • Referenced in 36 articles [sw07263]
  • performs a systematic program analysis (using dynamic symbolic execution, similar to path-bounded model-checking...
  • Theano

  • Referenced in 98 articles [sw05894]
  • efficient symbolic differentiation, speed and stability optimizations, dynamic C code generation, and extensive unit-testing...
  • FODD-Planner

  • Referenced in 15 articles [sw07747]
  • dynamics and value functions. Work on symbolic dynamic programming lifted these ideas to first order...
  • Sigma*

  • Referenced in 12 articles [sw21731]
  • symbolic conjectures and abstraction. By combining dynamic symbolic execution to discover symbolic input-output steps...
  • MXNet

  • Referenced in 36 articles [sw20940]
  • flexibility. It allows you to mix symbolic and imperative programming to maximize efficiency and productivity ... MXNet contains a dynamic dependency scheduler that automatically parallelizes both symbolic and imperative operations...
  • Lugares

  • Referenced in 19 articles [sw09861]
  • that offers a standard dynamic geometry environment and uses the symbolic capabilities of CoCoA ... link between the dynamic geometry paradigm and a symbolic approach to automatic discovery in geometry...
  • Neweul

  • Referenced in 22 articles [sw04246]
  • software package for the dynamic analysis of mechanical systems with the multibody system method ... symbolic equations of motion and the simulation of the dynamic behavior. It is running...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • possible dynamic behaviors of a system description, i.e. sequences of symbolic states of the system...
  • TI-Nspire

  • Referenced in 62 articles [sw06151]
  • algebra system, function plotter, dynamic geometry, spreadsheet, dynamic statistics a Q&A module and data ... variant is identical with some limitations in symbolic calculation...
  • RGCCTranslationUnit

  • Referenced in 5 articles [sw06077]
  • generate registration information for R’s dynamic symbol resolution, identify potential re-factoring...
  • DyTa

  • Referenced in 3 articles [sw22848]
  • DyTa: dynamic symbolic execution guided with static verification results. Software-defect detection is an increasingly ... defects in a program, static verification and dynamic test generation are two important proposed techniques ... dynamic phase generates test inputs through dynamic symbolic execution to confirm these potential defects. DyTa ... verification and performs more efficiently compared to dynamic test generation...
  • Z3-str

  • Referenced in 9 articles [sw19493]
  • features that enable whole program symbolic, static and dynamic analysis, but also it performs better...
  • MESA VERDE

  • Referenced in 3 articles [sw21815]
  • General-purpose Program Package for Symbolical Dynamics Simulations of Multibody Systems. The purpose of this ... SAtellite, VEhicle and Robot Dynamics Equations”. Mesa Verde generates in symbolical form a minimal...
  • BINSEC/SE

  • Referenced in 2 articles [sw28248]
  • BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis. When it comes to software ... work focusses on BINSEC/SE, the new dynamic symbolic execution engine (DSE) implemented in BINSEC...
  • FloPSy

  • Referenced in 3 articles [sw12793]
  • search-based floating point constraint solving for symbolic execution. Recently there has been an upsurge ... Search–Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches...
  • ExpoSE

  • Referenced in 3 articles [sw30523]
  • ExpoSE: practical symbolic execution of standalone JavaScript. JavaScript has evolved into a versatile ecosystem ... bugs increases. We introduce ExpoSE, a dynamic symbolic execution engine for Node.js applications. ExpoSE automatically...
  • CasADi

  • Referenced in 56 articles [sw06437]
  • CasADi: A symbolic package for automatic differentiation and optimal control. We present CasADi, a free ... nonlinear optimization problems in general and dynamic optimization problems in particular. To the developer...
  • SMCDEL

  • Referenced in 8 articles [sw29077]
  • SMCDEL: A symbolic model checker for Dynamic Epistemic Logic (DEL) implemented in Haskell...
  • SymJS

  • Referenced in 2 articles [sw30522]
  • based on dynamic feedbacks, and produce test cases with high coverage. The symbolic engine contains ... symbolic virtual machine for JavaScript Web, symbolic+dynamic feedback directed event space exploration, and dynamic...
  • KeYmaera

  • Referenced in 48 articles [sw03709]
  • which is a real-valued first-order dynamic logic for hybrid programs, a program notation ... strategies that decompose the hybrid system specification symbolically. To overcome the complexity of real arithmetic...