Copertina

Provenance Guided Rollback Suggestions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhao, David, Subotic, Pavle, Raghothaman, Mukund, Scholz, Bernhard
Natura:	Preprint
Pubblicazione:	2025
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

Formal Model Guided Conformance Testing for Blockchains
di: Drobnjakovic, Filip, et al.
Pubblicazione: (2025)

Reusable Formal Verification of DAG-based Consensus Protocols
di: Bertrand, Nathalie, et al.
Pubblicazione: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
di: Teuber, Samuel, et al.
Pubblicazione: (2025)

Syntax-Guided Automated Program Repair for Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
di: Meyer, Roland, et al.
Pubblicazione: (2024)

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

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
di: Su, Yuheng, et al.
Pubblicazione: (2026)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
di: Monniaux, David
Pubblicazione: (2024)

Pleasant Imperative Program Proofs with GallinaC
di: Fort, Frédéric, et al.
Pubblicazione: (2025)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
di: Gladshtein, Vladimir, et al.
Pubblicazione: (2024)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
di: Hulak, David B., et al.
Pubblicazione: (2026)

A Formally Verified Procedure for Width Inference in FIRRTL
di: Wang, Keyin, et al.
Pubblicazione: (2026)

A Prolog Program for Bottom-up Evaluation
di: Warren, David S.
Pubblicazione: (2025)

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

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

A Probabilistic Choreography Language for PRISM
di: Carbone, Marco, et al.
Pubblicazione: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

Positive Sharing and Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
di: Grandury, Marcos, et al.
Pubblicazione: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
di: Kobayashi, Kentaro, et al.
Pubblicazione: (2025)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
di: Elad, Neta, et al.
Pubblicazione: (2025)

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

The Functional Machine Calculus III: Control
di: Heijltjes, Willem
Pubblicazione: (2025)

Orthologic Type Systems
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
di: Rowicki, Radosław Jan, et al.
Pubblicazione: (2025)

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

Proceedings Twelfth Workshop on Fixed Points in Computer Science
di: Saurin, Alexis
Pubblicazione: (2025)

A Lazy, Concurrent Convertibility Checker
di: Courant, Nathanaëlle, et al.
Pubblicazione: (2025)

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

Coinductive Proofs for Temporal Hyperliveness
di: Correnson, Arthur, et al.
Pubblicazione: (2025)

Constructive characterisations of the must-preorder for asynchrony
di: Bernardi, Giovanni, et al.
Pubblicazione: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Extended Abstract: Mutable Objects with Several Implementations
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

Cyclic Proofs in Hoare Logic and its Reverse
di: Brotherston, James, et al.
Pubblicazione: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
di: Alexandru, Cass, et al.
Pubblicazione: (2025)

Dependent Multiplicities in Dependent Linear Type Theory
di: Doré, Maximilian
Pubblicazione: (2025)

Quantum Programming in Polylogarithmic Time
di: Ferrari, Florent, et al.
Pubblicazione: (2025)

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

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