• KeYmaera

  • Referenced in 44 articles [sw03709]
  • logic for hybrid systems. KeYmaera supports differential dynamic logic, which is a real-valued first...
  • KeYmaera X

  • Referenced in 9 articles [sw40558]
  • theorem prover for differential dynamic logic ( ), a logic for specifying and verifying properties of hybrid...
  • ModelPlex

  • Referenced in 4 articles [sw23944]
  • monitors automatically from CPS proofs in differential dynamic logic by a correct-by-construction approach...
  • VeriPhy

  • Referenced in 2 articles [sw29643]
  • critical cyber-physical systems (CPSs) in differential dynamic logic (dL) to verified controller executables. VeriPhy ... between real physics and its differential-equation models, and iii) the gap between nondeterministic controller...
  • RoVerGeNe

  • Referenced in 13 articles [sw10954]
  • piecewise multiaffine differential equation models, dynamical properties are expressed in linear temporal logic and uncertain...
  • Breach

  • Referenced in 26 articles [sw20822]
  • analysis of deterministic models of hybrid dynamical systems. The primary feature of Breach ... efficient numerical solver of ordinary differential equations that can also provide information about sensitivity with ... robust monitoring of metric interval temporal logic (MITL) formulas. The application domain of Breach ranges...
  • KeYmaeraD

  • Referenced in 0 articles [sw20142]
  • which can be extremely expensive. Quantified differential dynamic logic (QdL) [4] has been identified...
  • ForestClaw

  • Referenced in 11 articles [sw19374]
  • explicit integration of time dependent partial differential equations on two-dimensional Cartesian grids. The grid ... overlapping, logically Cartesian grids stored as leaves in a quadtree. Dynamic grid refinement and parallel...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...