
DISCOVERER
 Referenced in 37 articles
[sw07719]
 program verification indicate that various verification problems can be reduced to semialgebraic system ... efficiency for specific problems. To overcome the bottleneck of program verification with a symbolic approach...

WSAT
 Referenced in 35 articles
[sw01022]
 Asynchronous messaging makes most interesting verification problems undecidable, even when XML message contents are abstracted...

BLAST
 Referenced in 115 articles
[sw02937]
 static software verification tool for C language that solves the reachability problem, i.e. whether ... point (main function) by a valid execution. Verification of safety properties may be reduced...

MATISSE
 Referenced in 25 articles
[sw06311]
 particularly useful for the safety verification problem which consists in checking whether the intersection ... which confirms the intuitive fact that the verification of robustly safe systems should be easier...

SATIRE
 Referenced in 36 articles
[sw04648]
 that is particularly suited to verification and optimization problems in electronic design automation. SATIRE builds...

UnitWalk
 Referenced in 34 articles
[sw00993]
 benchmarks ranging from graph coloring problems to microprocessor verification. Our algorithm is inspired...

CAESAR_SOLVE
 Referenced in 14 articles
[sw10194]
 useful framework for modeling various verification problems on finitestate concurrent systems, such as equivalence ... checking and model checking. These problems can be solved on the fly (i.e., without constructing ... library has been developed within the Cadp verification toolbox using the generic Open/Caesar environment...

Benchmarks
 Referenced in 22 articles
[sw04612]
 Safety verification of hybrid systems by constraint propagation based abstraction refinement ... This paper deals with the problem of safety verification of nonlinear hybrid systems...

HYSDEL
 Referenced in 35 articles
[sw05200]
 optimal control, safety verification, or estimation and fault detection problems...

HANNIBAL
 Referenced in 8 articles
[sw10071]
 very efficient for many practical verification problems where such internal equivalencies exist. The presented method ... also be used to drastically accelerate other verification tools. Experimental results clearly show the efficiency...

SPeeDI
 Referenced in 7 articles
[sw00896]
 SPeeDI  a verification tool for polygonal hybrid systems Hybrid systems combining discrete and continuous dynamics ... complex continuous systems. A very important problem in the anajysis of the behavior of hybrid ... hybrid systems this and all interesting verification problems are undecidable. Most of the proved decidability...

LambdaClam
 Referenced in 24 articles
[sw19614]
 types of problem is outlined, in particular the synthesis and verification of software and hardware...

UNITY
 Referenced in 166 articles
[sw13461]
 formal assertions, permitting formal verification of the transition systems, and second into an executable program ... simulation program solving the machine interference problem using the Time Warp protocol on a distributed...

VeriMAP
 Referenced in 5 articles
[sw22866]
 generating the CHC encoding of a verification problem, and (ii) improving the effectiveness...

VACID0
 Referenced in 4 articles
[sw21613]
 paper defines a suite of benchmark verification problems, to serve as an acid test...

PolyBoRi
 Referenced in 40 articles
[sw00723]
 verification based on Boolean expressions, which sufferbesides from the complexity of the problems from...

Aximo
 Referenced in 4 articles
[sw15031]
 worst case complexity of the verification problem of Aximo...

VERSOFT
 Referenced in 17 articles
[sw10881]
 verification files for computing verified solutions of various numerical linear algebraic problems having exact...

CRASH
 Referenced in 5 articles
[sw18109]
 exchange. We present a suite of verification test problems to demonstrate the accuracy and performance...

PiMaG
 Referenced in 2 articles
[sw10090]
 benchmark suite of hard pipelinedmachineVerification problems. We present a parameterized suite of benchmark ... problems arising from our work on pipelined machine verification, in the hopes that they ... work on pipelined machine verification has yielded many problems that not only have complex models...