Showing results (1-10 of 39) with videos related to
Sort By:
Pageof 4
Journal of Automated Reasoning|November 1, 2021
Certified Quantum Computation in Isabelle/HOLAnthony Bordg, Hanna Lachnitt, Yijun HeJournal of Automated Reasoning|January 24, 2022
Proof Complexity of Modal ResolutionSarah Sigley, Olaf BeyersdorffJournal of Automated Reasoning|November 10, 2022
A Comprehensive Framework for Saturation Theorem ProvingUwe Waldmann, Sophie Tourret, Simon Robillard, et al.Journal of Automated Reasoning|November 10, 2022
A Formalization of SQL with NullsWilmer Ricciotti, James CheneyJournal of Automated Reasoning|September 4, 2018
The Higher-Order Prover Leo-IIChristoph Benzmüller, Nik Sultana, Lawrence C Paulson, et al.Journal of Automated Reasoning|April 2, 2019
Verifying OpenJDK's Sort Method for Generic CollectionsStijn de Gouw, Frank S de Boer, Richard Bubel, et al.Journal of Automated Reasoning|April 11, 2023
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, CertificationAart Middeldorp, Alexander Lochmann, Fabian MitterwallnerJournal of Automated Reasoning|April 1, 2020
A Verified Implementation of Algebraic Numbers in Isabelle/HOLSebastiaan J C Joosten, René Thiemann, Akihisa YamadaJournal of Automated Reasoning|September 4, 2018
A Formal C Memory Model for Separation LogicRobbert KrebbersJournal of Automated Reasoning|September 4, 2018
A Fully Automatic Theorem Prover with Human-Style OutputM Ganesalingam, W T GowersPageof 4