Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers

von Niemetz, Aina
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends

von Kremer, Gereon
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

von Scott, Joseph
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Syntax-Guided Quantifier Instantiation

von Niemetz, Aina
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Bit-Precise Reasoning via Int-Blasting

von Zohar, Yoni
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Flexible Proof Production in an Industrial-Strength SMT Solver

von Barbosa, Haniel
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

cvc5: A Versatile and Industrial-Strength SMT Solver

von Barbosa, Haniel
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)