The counterSharp Model Counting Benchmark
Teuber, Samuel; Weigl, Alexander
Abstract:
We present the counterSharp benchmark consisting of 123 projected model counting instances. The instances originate from work on the reliability quantification of programs written in C. We briefly introduce the application field and describe the benchmark selection process.
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Institut für Programmstrukturen und Datenorganisation (IPD) Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsdatum | 04.02.2022 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000142745 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Umfang | 3 S. |
| Externe Relationen | Forschungsdaten/Software |