Formally Certified Approximate Model Counting
Paper in proceeding, 2024
randomized algorithms
formal verification
proof certification
approximate model counting
Author
Yong Kiam Tan
Agency for Science, Technology and Research (A*STAR)
Jiong Yang
National University of Singapore (NUS)
Mate Soos
National University of Singapore (NUS)
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
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,
The next 700 verified compilers
Swedish Research Council (VR) (2021-05165), 2022-01-01 -- 2025-12-31.
Subject Categories
Computer Science
DOI
10.1007/978-3-031-65627-9_8