
SpaceEx
 Referenced in 66 articles
[sw10939]
 Hybrid Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine ... sets to compute an overapproximation 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...

CSHORe
 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 overapproximate (sound) reachability algorithms for verifying safety and robustness ... networks, NNV provides exact and overapproximate reachability analysis schemes for linear plant models ... have nonlinear plant models, NNV supports overapproximate analysis by combining the star set analysis...

Graphs
 Referenced in 104 articles
[sw12277]
 networks. We consider the pointtopoint (approximate) shortestpath 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 overapproximations of the reachable sets for both continuous and discretetime ... overapproximations. 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 wellknown that for most nontrivial subclasses ... given final set of states is reachable, they will terminate, otherwise they may fail ... major drawback of setpropagation, reachset approximation procedures is that they pay little attention...

DryVR
 Referenced in 1 article
[sw28120]
 output it generates overapproximations of the reachable states and returns “Safe” if the system...

Pint
 Referenced in 1 article
[sw35163]
 discrete networks. Pint implements formal approximations of transient reachabilityrelated properties, including mutation prediction...

CoSyma
 Referenced in 9 articles
[sw20124]
 sampling parameters used to define an approximation of the statespace on which discrete abstractions ... enforces a given safety or timebounded 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]
 reachavoid and viability problems. The stochastic reachability of a target tube problem maximizes ... transforms, to efficiently compute over and underapproximations of the stochastic reach set. SReachTools...

SAHATool
 Referenced in 1 article
[sw10315]
 focus on semialgebraic hybrid automata the reachability problem is semidecidable. 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...

DFinder
 Referenced in 14 articles
[sw00200]
 DFinder tool implements a compositional method for...

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