Formally Certified Approximate Model Counting
Paper i proceeding, 2024
randomized algorithms
formal verification
proof certification
approximate model counting
Författare
Yong Kiam Tan
Agency for Science, Technology and Research (A*STAR)
Jiong Yang
Universiti Kebangsaan Singapura (NUS)
Mate Soos
Universiti Kebangsaan Singapura (NUS)
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Kuldeep S. Meel
University of Toronto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 14681 LNCS 153-1779783031656262 (ISBN)
Montreal, Canada,
De nästa 700 verifierade kompilatorerna
Vetenskapsrådet (VR) (2021-05165), 2022-01-01 -- 2025-12-31.
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1007/978-3-031-65627-9_8