
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 FloydWarshall 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 opensource 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...