• Aspic

  • Referenced in 24 articles [sw04954]
  • such, it makes use of a widening operator to enforce the convergence of fixpoint computations...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • false errors: (1) a new operator called interpolated widen, which automatically recovers precision lost ... widen, (2) a new way to handle disjunctions that arise due to refinement ... refines abstract interpretations that use the join operator to merge abstract states at join points...
  • Timed Automata

  • Referenced in 1 article [sw28568]
  • analysis operations on DBMs. One of these operations is the Floyd-Warshall algorithm ... obtain a finite search space, a widening operation has to be used for this kind ... Bou04] approach to prove that this widening operation is correct in the sense that ... forward analysis in combination with the widening operation also decides language emptiness. The interesting property...
  • PRECiSA

  • Referenced in 2 articles [sw38041]
  • generated by the analysis. Additionally, a widening operator is defined to ensure the convergence...
  • BOXES

  • Referenced in 6 articles [sw21178]
  • often not scalable. Second, while a widening must strike the right balance between precision ... complexity of the operations (meet, join, transfer functions, and widening) is polynomial in the size...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • Coq

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

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • rbminer

  • Referenced in 14 articles [sw00783]
  • rbminer: a tool for discovering Petri nets from...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • HyTech

  • Referenced in 331 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • Uppaal

  • Referenced in 654 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • mctoolbox

  • Referenced in 1485 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • PPL

  • Referenced in 101 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...
  • Casper

  • Referenced in 95 articles [sw06559]
  • A Compiler for the Analysis of Security Protocols...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • CBMC

  • Referenced in 86 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...
  • PolyLib

  • Referenced in 47 articles [sw09923]
  • The Polyhedral Library (PolyLib for short) operates on...