Results 1 to 20 of 27
Sort by:

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