Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

The counterSharp Model Counting Benchmark

Technical Report
Author(s):Samuel Teuber and Alexander Weigl
Institution:Karlsruhe Institute of Technology
Number:2022-02
Year:2022
DOI:10.5281/zenodo.5984174

BibTeX

@TechReport{MCBenchmark,
  author       = {Samuel Teuber and Alexander Weigl},
  title        = {The counterSharp Model Counting Benchmark},
  institution  = {Karlsruhe Institute of Technology},
  number       = {2022-02},
  year         = {2022},
  month        = feb,
  doi          = {10.5281/zenodo.5984174}
}