• PEORL

  • Referenced in 5 articles [sw29437]
  • with decision-making in a dynamic environment with uncertainties. Symbolic plans are used to guide...
  • ATGen

  • Referenced in 11 articles [sw07275]
  • programming and symbolic execution The verification and validation of software through dynamic testing ... despite the high promises that the symbolic execution technique engendered when it was first proposed...
  • PSPCLink

  • Referenced in 10 articles [sw06463]
  • symbolic and Poisson series processors Poisson series appear frequently in problems of nonlinear dynamics ... makes their manipulation by means of general symbolic processors (GSP) inefficient. Special processors named Poisson...
  • EvoSuiteDSE

  • Referenced in 1 article [sw39692]
  • search-based tool with a dynamic symbolic execution module (EvosuiteDSE) that automatically generates executable unit...
  • LCTD

  • Referenced in 1 article [sw17728]
  • implementation is an extension of the dynamic symbolic execution tool LCT. We also present...
  • Dedalus

  • Referenced in 21 articles [sw25607]
  • develop and use Dedalus to study fluid dynamics, but it’s designed to solve initial ... sets. You build a spectrally-representable domain, symbolically specify equations and boundary conditions, select...
  • LAD

  • Referenced in 5 articles [sw04859]
  • standard dynamic geometry systems A prototype for a web application designed to symbolically process locus ... geometric diagrams created with the commercial dynamic geometry systems Cabri, The Geometer’s Sketchpad ... Mathematica kernel for the involved symbolic computations. From the DGS internal textual representation...
  • Robotica

  • Referenced in 6 articles [sw08899]
  • package allowing efficient symbolic and numeric calculation of kinematic and dynamic equations for multi-degree...
  • DyNet

  • Referenced in 3 articles [sw18695]
  • implementing neural network models based on dynamic declaration of network structure. In the static declaration ... user first defines a computation graph (a symbolic representation of the computation), and then examples ... computes its derivatives. In DyNet’s dynamic declaration strategy, computation graph construction is mostly transparent ... Python). One challenge with dynamic declaration is that because the symbolic computation graph is defined...
  • BDD2Implement

  • Referenced in 1 article [sw30631]
  • generate hardware/software implementations of BDD-based symbolic controllers. Having the tools SCOTS and SENSE that ... based sysbolic controllers of (networked) general nonlinear dynamical systems, BDD2Implement completes missing ring ... synthesis technique. BDD2Implement accepts static or dynamic determinized symbolic controllers in the form...
  • Pure

  • Referenced in 2 articles [sw25346]
  • definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical...
  • GEMMES

  • Referenced in 1 article [sw03096]
  • Symbolic formulation of dynamic equations for interconnected flexible bodies: The GEMMES software. This article presents ... tool: symbolic computation, used for the generation of dynamic equations for poly-articulated flexible structure ... flexible bodies. Then the capabilities of the symbolic computation software: GEMMES are presented...
  • Manticore

  • Referenced in 0 articles [sw37691]
  • Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. An effective ... coverage in software tests is through dynamic symbolic execution-a technique that uses constraint solving ... space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries...
  • MSeqGen

  • Referenced in 0 articles [sw07264]
  • test-generation approaches: random testing and dynamic symbolic execution. We conduct two evaluations to show ... namespace) higher branch coverage and a dynamic-symbolic-execution-based approach achieves 17.4% (with...
  • PSPC

  • Referenced in 10 articles [sw06464]
  • Algebraic and symbolic manipulation of Poisson series Efficiency in handling Poisson series is essential ... theories in celestial mechanics and non-linear dynamics in general. A good knowledge ... this paper we analyse the mathematical, symbolic and computational structure of Poisson series...
  • Dynaflex

  • Referenced in 1 article [sw07867]
  • Dynaflex: Both symbolic and object-oriented (numerical) implementations of multibody dynamic formulations have been developed ... Maple to generate kinematic and dynamic equations in symbolic form gives several advantages over...
  • SYMORO+

  • Referenced in 7 articles [sw29890]
  • software package SYMORO+ for the automatic symbolic modelling of robots. This package permits to generate ... kinematic model, the inverse kinematic model, the dynamic model, and the inertial parameters identification models.The...
  • PyDSTool

  • Referenced in 18 articles [sw06718]
  • sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs ... numpy and scipy libraries. PyDSTool supports symbolic math, optimization, phase plane analysis, continuation and bifurcation...
  • RECGRAM

  • Referenced in 0 articles [sw19639]
  • TOCSY - Toolboxes for Complex Systems: Symbolic Dynamics from Recurrence Plots...
  • Snugglebug

  • Referenced in 7 articles [sw13707]
  • test generation. This paper addresses demand-driven symbolic analysis for object-oriented programs and frameworks ... codes comprise large, partial programs with highly dynamic behaviors--polymorphism, reflection, and so on--posing ... graph construction, where call graph construction and symbolic analysis are interleaved. With this technique, call...