• DISCOVERER

  • Referenced in 37 articles [sw07719]
  • program verification indicate that various verification problems can be reduced to semi-algebraic 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 finite-state 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 23 articles [sw04612]
  • Safety verification of hybrid systems by constraint propagation based abstraction refinement ... This paper deals with the problem of safety verification of non-linear 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...
  • Lambda-Clam

  • 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...
  • VACID-0

  • 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 suffer-besides 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...
  • STABLE

  • Referenced in 2 articles [sw11913]
  • solver for hard verification problems combining Boolean reasoning with computer algebra. This paper presents ... language being used. This results in SMT problems where arithmetic parts may include non-arithmetic ... large collection of SMT formulas describing verification problems of industrial data path designs that include...
  • CRASH

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