PICASSO swMATH ID: 36776 Software Authors: Damien Zufferey; Thomas Wies; Thomas A. Henzinger Description: PICASSO: a PI-CAlculus-based Static SOftware analyzer. Picasso is a static analyzer for depth-bounded systems (DBS). The main use case of Picasso is to take a DBS [as input] and compute an over-approximations of its covering set. DBS are well-structured graph rewriting systems that generalize Petri nets and subsume a diverse range of infinite-state systems. Picasso computes an invariant of the input DBS by using specialized algorithms that exploit the monotonic structure of DBS. Homepage: https://dzufferey.github.io/picasso/index.html Related Software: Lift Cited in: 1 Publication Cited by 3 Authors 1 Henzinger, Thomas A. 1 Wies, Thomas 1 Zufferey, Damien Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year