Suite Basler

Download(39228.93 Kb)
Submitter: Gérard Basler
Description: Fixpoint detection. Details are available in Basler, G., Kroening, D. and Weissenbacher, G., 2007, July. SAT-based summarization for boolean programs. In International SPIN Workshop on Model Checking of Software (pp. 131-148). Springer, Berlin, Heidelberg.
Number of families: 3
Families:
Results: