Imagen de Portada

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Kammüller, Florian
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Security Engineering in IIIf, Part II -- Refinement and Noninterference
por: Kammüller, Florian
Publicado: (2024)

Formalisation of Security for Federated Learning with DP and Attacker Advantage in IIIf for Satellite Swarms -- Extended Version
por: Kammüller, Florian
Publicado: (2025)

Brownian Motion in Isabelle/HOL
por: Laursen, Christian Pardillo, et al.
Publicado: (2024)

Linear Programming in Isabelle/HOL
por: Parsert, Julian
Publicado: (2024)

Integrating Loop Acceleration into Bounded Model Checking
por: Frohn, Florian, et al.
Publicado: (2024)

Teaching Higher-Order Logic Using Isabelle
por: Lund, Simon Tobias, et al.
Publicado: (2024)

Infinite State Model Checking by Learning Transitive Relations
por: Frohn, Florian, et al.
Publicado: (2025)

Verifying Numerical Methods with Isabelle/HOL
por: Bryant, Dustin, et al.
Publicado: (2025)

Complex Bounded Operators in Isabelle/HOL
por: Unruh, Dominique, et al.
Publicado: (2025)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
por: Foster, Simon, et al.
Publicado: (2024)

Model Checking the Security of the Lightning Network
por: Grundmann, Matthias, et al.
Publicado: (2025)

Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
por: Bartl, Lukas, et al.
Publicado: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
por: Beutner, Raven, et al.
Publicado: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
por: Bacci, Giorgio, et al.
Publicado: (2025)

Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds
por: Huch, Fabian
Publicado: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
por: Grilletti, Gianluca, et al.
Publicado: (2024)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
por: Hulak, David B., et al.
Publicado: (2026)

Scaling CheckMate for Game-Theoretic Security
por: Rain, Sophie, et al.
Publicado: (2024)

SAT-Inspired Higher-Order Eliminations
por: Blanchette, Jasmin, et al.
Publicado: (2022)

Hammering Higher Order Set Theory
por: Brown, Chad E., et al.
Publicado: (2025)

Kuroda's Translation for Higher-Order Logic
por: Traversié, Thomas
Publicado: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
por: Huot, Mathieu, et al.
Publicado: (2021)

Distributional Probabilistic Model Checking
por: Elsayed-Aly, Ingy, et al.
Publicado: (2023)

Syntactic Effectful Realizability in Higher-Order Logic
por: Cohen, Liron, et al.
Publicado: (2025)

Stalnaker's Epistemic Logic in Isabelle/HOL
por: Guzman, Laura P. Gamboa, et al.
Publicado: (2024)

The Dependently Typed Higher-Order Form for the TPTP World
por: Ranalter, Daniel, et al.
Publicado: (2025)

Probabilistic Model Checking: Applications and Trends
por: Kwiatkowska, Marta, et al.
Publicado: (2025)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
por: Niederhauser, Johannes, et al.
Publicado: (2025)

Higher-Order Constrained Dependency Pairs for (Universal) Computability
por: Guo, Liye, et al.
Publicado: (2024)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
por: Kudasov, Nikolai
Publicado: (2022)

Unification of Deterministic Higher-Order Patterns (Full Version)
por: Niederhauser, Johannes, et al.
Publicado: (2026)

Expectation-based Analysis of Higher-Order Quantum Programs
por: Avanzini, Martin, et al.
Publicado: (2025)

Big Steps in Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2025)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
por: Munive, Jonathan Julián Huerta y, et al.
Publicado: (2024)

Model Checking Markov Chains as Distribution Transformers
por: Aghamov, Rajab, et al.
Publicado: (2024)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
por: Charalambidis, Angelos, et al.
Publicado: (2026)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
por: Tulcan, Radu-Florin, et al.
Publicado: (2026)

Formalization of Differential Privacy in Isabelle/HOL
por: Sato, Tetsuya, et al.
Publicado: (2024)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
por: Stübinger, Terru, et al.
Publicado: (2023)

Revisiting Assumptions Ordering in CAR-Based Model Checking
por: Dong, Yibo, et al.
Publicado: (2024)