:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Vinogradova, Polina, Sorokin, Alexey
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2506.05832
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
por: Egolf, Derek, et al.
Publicado: (2026)

Universal Horn Sentences and the Joint Embedding Property
por: Bodirsky, Manuel, et al.
Publicado: (2021)

Identity-Preserving Lax Extensions and Where to Find Them
por: Goncharov, Sergey, et al.
Publicado: (2024)

Programs as Singularities
por: Murfet, Daniel, et al.
Publicado: (2025)

A Program Logic for Abstract (Hyper)Properties
por: Baldan, Paolo, et al.
Publicado: (2026)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
por: Jamroga, Wojciech, et al.
Publicado: (2020)

A Logic for Veracity: Development and Implementation
por: Britten, Daniel, et al.
Publicado: (2024)

Programs Versus Finite Tree-Programs
por: Moshkov, Mikhail
Publicado: (2025)

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

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
por: Heuer, Jan
Publicado: (2023)

On guarded extensions of MMSNP
por: Barsukov, Alexey, et al.
Publicado: (2023)

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

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
por: Frenkel, Eden, et al.
Publicado: (2024)

Separability Properties of Monadically Dependent Graph Classes
por: Bonnet, Édouard, et al.
Publicado: (2025)

Program Synthesis in Saturation
por: Hozzová, Petra, et al.
Publicado: (2024)

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning
por: Arakelyan, Erik
Publicado: (2025)

Craig Interpolation in Program Verification
por: Rümmer, Philipp
Publicado: (2026)

Logic Programming with Multiplicative Structures
por: Acclavio, Matteo, et al.
Publicado: (2024)

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

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
por: Helal, Sameerah, et al.
Publicado: (2024)

The Complexity of Learning Temporal Properties
por: Bordais, Benjamin, et al.
Publicado: (2024)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
por: Yao, Shucai, et al.
Publicado: (2025)

A Diagrammatic Basis for Computer Programming
por: Bonchi, Filippo, et al.
Publicado: (2025)

Declassification Policy for Program Complexity Analysis
por: Hainry, Emmanuel, et al.
Publicado: (2024)

A Diagrammatic Algebra for Program Logics
por: Bonchi, Filippo, et al.
Publicado: (2024)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
por: Kohlen, Bram, et al.
Publicado: (2025)

Model Checking Temporal Properties of Recursive Probabilistic Programs
por: Winkler, Tobias, et al.
Publicado: (2021)

Property Directed Reachability with Extended Resolution
por: Luka, Andrew, et al.
Publicado: (2025)

Multi-Property Temporal Logic Monitoring
por: Demir, Arınç, et al.
Publicado: (2026)

Combining Combination Properties: Minimal Models
por: de Toledo, Guilherme Vicentin, et al.
Publicado: (2024)

Property Checking Without Inductive Invariants
por: Goldberg, Eugene
Publicado: (2016)

Programming and Reasoning in Partially Observable Probabilistic Environments
por: Gürtler, Tobias, et al.
Publicado: (2025)

Optimization Modulo Integer Linear-Exponential Programs
por: Hitarth, S, et al.
Publicado: (2025)

To Zip Through the Cost Analysis of Probabilistic Programs
por: Hetzenberger, Matthias, et al.
Publicado: (2025)

Non-Termination of Logic Programs Using Patterns
por: Payet, Etienne
Publicado: (2025)

Complete Dynamic Logic of Communicating Hybrid Programs
por: Brieger, Marvin, et al.
Publicado: (2024)

A Program Instrumentation Framework for Automatic Verification
por: Amilon, Jesper, et al.
Publicado: (2024)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
por: Heuer, Jan, et al.
Publicado: (2024)

Formal Verification of the Safegcd Implementation
por: O'Connor, Russell, et al.
Publicado: (2025)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
por: Fábregas, Ignacio, et al.
Publicado: (2024)