Výsledky vyhledávání - "Tommy Schneider"

MCBAT: a practical tool for model counting constraints on bounded integer arrays

Autor: Mara Downing, Tommy Schneider, Lucas Bang, Abtin Molavi

Publikováno v: ESEC/SIGSOFT FSE

Model counting procedures for data structures are crucial for advancing the field of automated quantitative program analysis. We present a tool for Model Counting for Bounded Array Theory (MCBAT). MCBAT works on quantified integer array constraints i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::29c33ea6868bb4346575b96ee0628559
https://doi.org/10.1145/3368089.3417937

Zobrazit plný text záznamu

MCBAT: Model Counting for Constraints over Bounded Integer Arrays

Autor: Lucas Bang, Mara Downing, Abtin Molavi, Tommy Schneider

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030636173
VSTTE

Model counting procedures for data structures are crucial for advancing the field of automated quantitative program analysis. We present an algorithm and practical tool for performing Model Counting for Bounded Array Theory (MCBAT). As the satisfiabi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0138ea90ba81aea7c62adedfbb6d7610
https://doi.org/10.1007/978-3-030-63618-0_8

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání