Copertina

HaliVer: Deductive Verification and Scheduling Languages Join Forces

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Haak, Lars B. van den, Wijs, Anton, Huisman, Marieke, Brand, Mark van den
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
di: Şakar, Ömer, et al.
Pubblicazione: (2026)

Scalable Deductive Verification of Data-Level Parallel Programs
di: Haak, Lars B. van den, et al.
Pubblicazione: (2026)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
di: Batz, Kevin, et al.
Pubblicazione: (2025)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
di: Elad, Neta, et al.
Pubblicazione: (2023)

Adjoint Natural Deduction (Extended Version)
di: Jang, Junyoung, et al.
Pubblicazione: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

Predicate Subtypes in VerCors
di: Dubbeling, Tycho, et al.
Pubblicazione: (2026)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2026)

A Deductive System for Contract Satisfaction Proofs
di: Correnson, Arthur, et al.
Pubblicazione: (2026)

Automated Software Verification of Hyperliveness
di: Beutner, Raven
Pubblicazione: (2024)

Predictable Verification using Intrinsic Definitions
di: Murali, Adithya, et al.
Pubblicazione: (2024)

Automated Theorem Proving for Prolog Verification
di: Mesnard, Fred, et al.
Pubblicazione: (2026)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

FO-Complete Program Verification for Heap Logics
di: Murali, Adithya, et al.
Pubblicazione: (2026)

Impredicativity in Linear Dependent Type Theory
di: Speight, Sam, et al.
Pubblicazione: (2026)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
di: Le, Quang Loc
Pubblicazione: (2025)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
di: Cheng, Ruotong, et al.
Pubblicazione: (2025)

Automated Verification of Monotonic Data Structure Traversals in C
di: Sotoudeh, Matthew
Pubblicazione: (2025)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
di: Chirica, Ion, et al.
Pubblicazione: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
di: Tsukada, Takeshi, et al.
Pubblicazione: (2025)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
di: Ukhanov, Evgeny
Pubblicazione: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2022)

Neural Network Verification is a Programming Language Challenge
di: Cordeiro, Lucas C., et al.
Pubblicazione: (2025)

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

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
di: Zimmerman, Conrad, et al.
Pubblicazione: (2024)

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

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
di: Aberlé, C. B.
Pubblicazione: (2026)

A denotationally-based program logic for higher-order store
di: Aagaard, Frederik Lerbjerg, et al.
Pubblicazione: (2023)

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
di: Shapira, Yuval, et al.
Pubblicazione: (2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

Functional Array Programming in an Extended Pi-Calculus
di: Hüttel, Hans, et al.
Pubblicazione: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Gradual Verification for Smart Contracts
di: Sun, Haojia, et al.
Pubblicazione: (2023)

Reasoning about Weak Isolation Levels in Separation Logic
di: Mathiasen, Anders Alnor, et al.
Pubblicazione: (2025)

Dafny as Verification-Aware Intermediate Language for Code Generation
di: Li, Yue Chen, et al.
Pubblicazione: (2025)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
di: Heuvel, Bas van den
Pubblicazione: (2024)

Almost-Sure Termination by Guarded Refinement
di: Gregersen, Simon Oddershede, et al.
Pubblicazione: (2024)

Verification of Recursively Defined Quantum Circuits
di: Ying, Mingsheng, et al.
Pubblicazione: (2024)

Tunable Automation in Automated Program Verification
di: Bai, Alexander Y., et al.
Pubblicazione: (2025)