• SpaceEx

  • Referenced in 66 articles [sw10939]
  • Hybrid Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine ... sets to compute an over-approximation of the reachable states. The algorithm improves over previous ... bound. In addition, we propose an improved approximation model, which drastically improves the accuracy...
  • Breach

  • Referenced in 20 articles [sw20822]
  • latter is used to perform approximate reachability analysis and parameter synthesis. A major novel feature...
  • MATISSE

  • Referenced in 25 articles [sw06311]
  • free MATLAB toolbox for safety verification and reachable set computation of large dimensional, constrained linear ... framework of abstracting linear systems using approximate bisimulation relations [1,2,3,4]. Contrary ... system and of its abstraction. Approximate bisimulation based abstraction is particularly useful for the safety ... checking whether the intersection of the reachable set of the system with an unsafe...
  • C-SHORe

  • Referenced in 5 articles [sw13319]
  • information gathered from an approximate forward reachability analysis to guide its backward search. Moreover...
  • NNV

  • Referenced in 1 article [sw32539]
  • crux of NNV is a collection of reachability algorithms that make use of a variety ... exact (sound and complete) and over-approximate (sound) reachability algorithms for verifying safety and robustness ... networks, NNV provides exact and over-approximate reachability analysis schemes for linear plant models ... have nonlinear plant models, NNV supports over-approximate analysis by combining the star set analysis...
  • Graphs

  • Referenced in 104 articles [sw12277]
  • networks. We consider the point-to-point (approximate) shortest-path query problem, which ... tradeoffs, query processing on spatial networks, and reachability queries; and theoretical computer scientists analyze distance...
  • TIRA

  • Referenced in 1 article [sw30629]
  • TIRA: toolbox for interval reachability analysis. This paper presents TIRA, a Matlab library gathering several ... computation of interval over-approximations of the reachable sets for both continuous- and discrete-time ... over-approximations. The current implementation of TIRA contains four reachability methods covering wide classes...
  • SPeeDI

  • Referenced in 7 articles [sw00896]
  • artificial and natural systems, and as an approximation to complex continuous systems. A very important ... behavior of hybrid systems is reachability. It is well-known that for most nontrivial subclasses ... given final set of states is reachable, they will terminate, otherwise they may fail ... major drawback of set-propagation, reach-set approximation procedures is that they pay little attention...
  • DryVR

  • Referenced in 1 article [sw28120]
  • output it generates over-approximations of the reachable states and returns “Safe” if the system...
  • Pint

  • Referenced in 1 article [sw35163]
  • discrete networks. Pint implements formal approximations of transient reachability-related properties, including mutation prediction...
  • CoSyma

  • Referenced in 9 articles [sw20124]
  • sampling parameters used to define an approximation of the state-space on which discrete abstractions ... enforces a given safety or time-bounded reachability specification. We illustrate by examples the synthesized...
  • MARCIE

  • Referenced in 8 articles [sw12882]
  • MARCIE -- model checking and reachability analysis done efficiently. MARCIE is a tool for the analysis ... Diagrams. They are complemented by simulative and approximative engines to allow for quantitative reasoning...
  • ProbNetKAT

  • Referenced in 2 articles [sw21703]
  • show how to use the semantics to approximate the behavior of arbitrary ProbNetKAT programs using ... different routing schemes and reasoning probabilistically about reachability in a network...
  • SReachTools

  • Referenced in 2 articles [sw30627]
  • reach-avoid and viability problems. The stochastic reachability of a target tube problem maximizes ... transforms, to efficiently compute over- and under-approximations of the stochastic reach set. SReachTools...
  • SAHA-Tool

  • Referenced in 1 article [sw10315]
  • focus on semi-algebraic hybrid automata the reachability problem is semi-decidable. However, high computational ... efficiently solved. It is necessary to introduce approximations to reduce the number of variables, since...
  • CoCoA

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

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

  • Referenced in 59 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • D-Finder

  • Referenced in 14 articles [sw00200]
  • D-Finder tool implements a compositional method for...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...