Copertina

Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Losavio, Lidia, Paganoni, Marco, Furia, Carlo A.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verifying Functional Correctness Properties At the Level of Java Bytecode
di: Paganoni, Marco, et al.
Pubblicazione: (2024)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
di: Paganoni, Marco, et al.
Pubblicazione: (2024)

VerifyThis 2019: A Program Verification Competition (Extended Report)
di: Dross, Claire, et al.
Pubblicazione: (2020)

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
di: Barenbaum, Pablo
Pubblicazione: (2026)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

Structural Operational Semantics for True Concurrency
di: Wang, Yong
Pubblicazione: (2026)

Verifying Solutions to Semantics-Guided Synthesis Problems
di: Murphy, Charlie, et al.
Pubblicazione: (2024)

A Formal Semantics of the GraalVM Intermediate Representation
di: Webb, Brae J., et al.
Pubblicazione: (2021)

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

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA
di: Palmskog, Karl, et al.
Pubblicazione: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
di: Le, Thanh, et al.
Pubblicazione: (2026)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
di: Bryce, Aaron, et al.
Pubblicazione: (2026)

Intentic Semantics for Potentialist Truthmaking
di: Gorbow, Paul
Pubblicazione: (2026)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
di: Rashid, Adnan
Pubblicazione: (2026)

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

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

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

First-order Logic with Being a Thesis Modal Operator
di: Łyczak, Marcin
Pubblicazione: (2024)

Wait-Only Broadcast Protocols are Easier to Verify
di: Guillou, Lucie, et al.
Pubblicazione: (2025)

Verified and Optimized Implementation of Orthologic Proof Search
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

Satisfiability Modulo Theories for Verifying MILP Certificates
di: Wood, Kenan, et al.
Pubblicazione: (2023)

Proofs as Execution Trees for the π-Calculus
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
di: de Groot, Jim, et al.
Pubblicazione: (2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

An Imperative Language for Verified Exact Real-Number Computation
di: Bauer, Andrej, et al.
Pubblicazione: (2024)

Verifying SQL Queries using Theories of Tables and Relations
di: Mohamed, Mudathir, et al.
Pubblicazione: (2024)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
di: Kieronski, Emanuel, et al.
Pubblicazione: (2016)