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