Image de couverture de livre

Brownian Motion in Isabelle/HOL

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Laursen, Christian Pardillo, Foster, Simon, Post, Mark
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
par: Munive, Jonathan Julián Huerta y, et autres
Publié: (2024)

Verifying Numerical Methods with Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2025)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
par: Foster, Simon, et autres
Publié: (2024)

Linear Programming in Isabelle/HOL
par: Parsert, Julian
Publié: (2024)

Complex Bounded Operators in Isabelle/HOL
par: Unruh, Dominique, et autres
Publié: (2025)

Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
par: Bartl, Lukas, et autres
Publié: (2025)

Stalnaker's Epistemic Logic in Isabelle/HOL
par: Guzman, Laura P. Gamboa, et autres
Publié: (2024)

Formalization of Differential Privacy in Isabelle/HOL
par: Sato, Tetsuya, et autres
Publié: (2024)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
par: Hulak, David B., et autres
Publié: (2026)

Munkres' General Topology Autoformalized in Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2026)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
par: Stübinger, Terru, et autres
Publié: (2023)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
par: Schmoetten, Richard, et autres
Publié: (2024)

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
par: Linzi, Alessandro
Publié: (2025)

Formalizing Pick's Theorem in Isabelle/HOL
par: Binder, Sage, et autres
Publié: (2024)

Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar
par: Binder, Sage, et autres
Publié: (2026)

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL
par: Kim, Jinwook
Publié: (2026)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
par: Bilotta, Antonella
Publié: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
par: Kosaian, Katherine, et autres
Publié: (2024)

Mechanized HOL Reasoning in Set Theory
par: Guilloud, Simon, et autres
Publié: (2024)

Proof Recommendation System for the HOL4 Theorem Prover
par: Dekhil, Nour, et autres
Publié: (2024)

Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds
par: Huch, Fabian
Publié: (2024)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
par: Kammüller, Florian
Publié: (2023)

Formally Verified Animation for RoboChart using Interaction Trees
par: Ye, Kangfeng, et autres
Publié: (2023)

On the Formalization of Network Topology Matrices in HOL
par: Aksoy, Kubra, et autres
Publié: (2026)

Type Inference for Isabelle2Cpp
par: Jiang, Dongchen, et autres
Publié: (2024)

Teaching Higher-Order Logic Using Isabelle
par: Lund, Simon Tobias, et autres
Publié: (2024)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
par: Bryant, Dustin, et autres
Publié: (2025)

Inexpressibility in Exp-Minus-Log
par: Carney, Mark
Publié: (2026)

Faithful Logic Embeddings in HOL -- Deep and Shallow
par: Benzmüller, Christoph
Publié: (2025)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
par: Ye, Kangfeng, et autres
Publié: (2023)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
par: Myreen, Magnus O., et autres
Publié: (2025)

Logic-based analogical proportions
par: Antić, Christian
Publié: (2024)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

Network Satisfaction Problems Solved by k-Consistency
par: Bodirsky, Manuel, et autres
Publié: (2023)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
par: Cailler, Julie, et autres
Publié: (2025)