Search results for "proofs"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Florian Kammueller	Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Christian Sternagel, René Thiemann	A Formalization of Knuth-Bendix Orders.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Jonathan Julián Huerta y Munive	Matrices for ODEs.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Jasmin Blanchette, Sophie Tourret	Extensions to the Comprehensive Framework for Saturation Theorem Proving.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Lawrence C. Paulson	The Nash-Williams Partition Theorem.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Salomon Sickert	An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Michael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, John Derrick	Inference of Extended Finite State Machines.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Emin Karayel, Edgar Gonzàlez	Strong Eventual Consistency of the Collaborative Editing Framework WOOT.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Martin Desharnais	A Generic Framework for Verified Compilers.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Sophie Tourret	A Comprehensive Framework for Saturation Theorem Proving.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Walter Guttmann, Bernhard Möller	A Hierarchy of Algebras for Boolean Subsets.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Bertram Felgenhauer	Implementing the Goodstein Function in λ-Calculus.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Safouan Taha, Burkhart Wolff, Lina Ye	The HOL-CSP Refinement Toolkit.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Achim D. Brucker, Michael Herzberg	A Formal Model of the Safely Composable Document Object Model with Shadow Roots.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Michael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, John Derrick	A Formal Model of Extended Finite State Machines.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Manuel Eberl	The Lambert W Function on the Reals.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Andrei Popescu 0001, Dmitriy Traytel	From Abstract to Concrete Gödel's Incompleteness Theorems - Part II.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Frank J. Balbach	Some classical results in inductive inference of recursive functions.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Mohammad Abdulaziz, Peter Lammich	AI Planning Languages Semantics.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Georgy Dunaev	Recursion Theorem in ZF.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Walter Guttmann, Nicolas Robinson-O'Brien	Relational Minimum Spanning Tree Algorithms.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Walter Guttmann, Peter Höfner	Relational Characterisations of Paths.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Manuel Eberl	Furstenberg's topology and his proof of the infinitude of primes.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Achim D. Brucker, Michael Herzberg	A Formalization of Web Components.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Cornelius Diekmann, Lars Hupel	Hello World.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	David Fuenmayor	Topological semantics for paraconsistent and paracomplete logics.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki, Wenda Li	Irrationality Criteria for Series by Erdős and Straus.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Max W. Haslbeck, Manuel Eberl	Skip Lists.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Toby Murray	An Under-Approximate Relational Logic.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Albert Rizaldi, Fabian Immler	A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Mathias Fleury, Daniela Kaufmann	Practical Algebraic Calculus Checker.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Martin Desharnais	Inline Caching and Unboxing Optimization for Interpreters.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Javier Díaz	Finite Map Extras.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki	Amicable Numbers.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Robin Eßmann, Tobias Nipkow, Simon Robillard	Verified Approximation Algorithms.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Andrei Popescu 0001, Dmitriy Traytel	Robinson Arithmetic.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Pasquale Noce	The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Achim D. Brucker, Michael Herzberg	A Formal Model of the Document Object Model with Shadow Roots.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Dominique Unruh, José Manuel Rodríguez Caballero	Banach-Steinhaus Theorem.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Jose Divasón	A verified algorithm for computing the Smith normal form of a matrix.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Achim D. Brucker, Michael Herzberg	The Safely Composable DOM.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf	Formalization of Forcing in Isabelle/ZF.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Martin Rau, Tobias Nipkow	Closest Pair of Points Algorithms.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider 0001, Dmitriy Traytel	Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker	Stateful Protocol Composition and Typing.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Lukas Heimes, Dmitriy Traytel, Joshua Schneider 0001	Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Simon Foster 0001, Burkhart Wolff	A Sound Type System for Physical Quantities, Units, and Measurements.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Anthony Bordg, Hanna Lachnitt, Yijun He	Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Andrei Popescu 0001, Dmitriy Traytel	An Abstract Formalization of Gödel's Incompleteness Theorems.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Andrei Popescu 0001, Dmitriy Traytel	Syntax-Independent Logic Infrastructure.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Eugene W. Stark	Bicategories.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Andrei Popescu 0001, Dmitriy Traytel	From Abstract to Concrete Gödel's Incompleteness Theorems - Part I.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	José Manuel Rodríguez Caballero	Arithmetic progressions and relative primes.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Lawrence C. Paulson	Ordinal Partitions.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Manuel Eberl	Mersenne primes and the Lucas-Lehmer test.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Manuel Eberl	Power Sum Polynomials.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Ben Fiedler, Dmitriy Traytel	A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Andreas Lochbihler, Ognjen Maric	Authenticated Data Structures As Functors.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Walter Guttmann	Relational Disjoint-Set Forests.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull	Automated Stateful Protocol Verification.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Manuel Eberl	Gaussian Integers.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Chelsea Edmonds	Lucas's Theorem.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Achim D. Brucker, Michael Herzberg	A Formalization of Safely Composable Web Components.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Pedro Sánchez Terraf	Cofinality and the Delta System Lemma.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
15	Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten	Universal Turing Machine.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	André Platzer	Differential Game Logic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Manuel Eberl	Elementary Facts About the Distribution of Primes.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki	Aristotle's Assertoric Syllogistic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Jonathan Julián Huerta y Munive	Verification Components for Hybrid Systems.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Ralph Bottesch, Alban Reynaud, René Thiemann	Linear Inequalities.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Frédéric Tuong, Burkhart Wolff	Clean - An Abstract Imperative Programming Language and its Theory.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan	Quantum Hoare Logic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Matthias Brun 0002, Dmitriy Traytel	Formalization of Generic Authenticated Data Structures.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Julian Parsert, Cezary Kaliszyk	Linear Programming.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Giuliano Losa	Stellar Quorum Systems.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	David Aspinall 0001, David Butler 0002	Multi-Party Computation.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Lawrence C. Paulson	Zermelo Fraenkel Set Theory in Higher-Order Logic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Peter Lammich, Tobias Nipkow	Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Fabian Immler, Yong Kiam Tan	The Poincaré-Bendixson Theorem.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	David Butler 0002, Andreas Lochbihler	Sigma Protocols and Commitment Schemes.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Alexander Maletzky	Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Ernie Cohen, Norbert Schirmer	A Reduction Theorem for Store Buffers.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Maxime Buyse, Jason Jaskolka	Communicating Concurrent Kleene Algebra for Distributed Systems Specification.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Angeliki Koutsoukou-Argyraki, Wenda Li	The Transcendence of Certain Infinite Series.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Simon Foster 0001, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro 0002, Burkhart Wolff	Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Alexander Maletzky	Hilbert's Nullstellensatz.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Robert Sachtleben	Formalisation of an Adaptive State Counting Algorithm.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Clemens Ballarin	A Case Study in Basic Algebra.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Filip Maric, Danijela Simic	Complex Geometry.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Lorenzo Gheri, Andrei Popescu 0001	A General Theory of Syntax with Bindings.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Peter Lammich, Simon Wimmer 0001	VerifyThis 2019 - Polished Isabelle Solutions.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Safouan Taha, Lina Ye, Burkhart Wolff	HOL-CSP Version 2.0.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Manuel Eberl	Selected Problems from the International Mathematical Olympiad 2019.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Benedikt Seidl, Salomon Sickert	A Compositional and Unified Translation of LTL into ω-Automata.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Simon Griebel	Binary Heaps for IMP2.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Daniel Stüwe, Manuel Eberl	Probabilistic Primality Testing.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Frédéric Tuong, Burkhart Wolff	Isabelle/C.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Asta Halkjær From	Formalizing a Seligman-Style Tableau System for Hybrid Logic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Peter Lammich, Simon Wimmer 0001	IMP2 - Simple Program Verification in Isabelle/HOL.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Joshua Schneider 0001, Dmitriy Traytel	Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic.	Arch. Formal Proofs	2019	DBLP BibTeX RDF