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: | |||