Copertina

Equational Anti-Unification over Absorption Theories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ayala-Rincon, Mauricio, Cerna, David M., Barragan, Andres Felipe Gonzalez, Kutsia, Temur
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Graded Quantitative Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
di: Baumgartner, Alexander, et al.
Pubblicazione: (2025)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
di: Nantes-Sobrinho, Daniele, et al.
Pubblicazione: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
di: Dundua, Besik, et al.
Pubblicazione: (2025)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2021)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
di: Rodríguez, Andoni, et al.
Pubblicazione: (2024)

Schematic Unification
di: Cerna, David M.
Pubblicazione: (2023)

Nominal anti-unification
di: Baumgartner, Alexander, et al.
Pubblicazione: (2025)

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
di: Yatapanage, Nisansala P., et al.
Pubblicazione: (2023)

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
di: Hassnain, Muhammad, et al.
Pubblicazione: (2025)

Relevant HAL Interface Requirements for Embedded Systems
di: Bentele, Manuel, et al.
Pubblicazione: (2025)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
di: Brancas, Ricardo, et al.
Pubblicazione: (2024)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
di: Bryant, Dustin, et al.
Pubblicazione: (2025)

Approximate Optimal Active Learning of Decision Trees
di: Huang, Zunchen, et al.
Pubblicazione: (2025)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
di: ter Beek, Maurice H., et al.
Pubblicazione: (2026)

Circular Induction
di: Lucanu, Dorel, et al.
Pubblicazione: (2026)

Inferring Message Flows From System Communication Traces
di: Nadimi, Bardia, et al.
Pubblicazione: (2024)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
di: Zhang, Yuanrui
Pubblicazione: (2024)

Regular Abstractions for Array Systems
di: Hong, Chih-Duo, et al.
Pubblicazione: (2024)

Compositionality of Systems and Partially Ordered Runs
di: Fettke, Peter, et al.
Pubblicazione: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
di: Amilon, Jesper, et al.
Pubblicazione: (2025)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
di: McGeorge, Dag, et al.
Pubblicazione: (2024)

Portus: Linking Alloy with SMT-based Finite Model Finding
di: Dancy, Ryan, et al.
Pubblicazione: (2024)

PROMISE: Proof Automation as Structural Imitation of Human Reasoning
di: Ahn, Youngjoo, et al.
Pubblicazione: (2026)

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

Autonomous Task Completion Based on Goal-directed Answer Set Programming
di: Tudor, Alexis R.
Pubblicazione: (2025)

Preguss: It Analyzes, It Specifies, It Verifies
di: Wang, Zhongyi, et al.
Pubblicazione: (2025)

Separation Logic for Verifying Physical Collisions of CNC Programs
di: Lee, Yeonseok
Pubblicazione: (2026)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
di: Murugesan, Anitha, et al.
Pubblicazione: (2024)

Probabilistic Model Checking Taken by Storm
di: Volk, Matthias, et al.
Pubblicazione: (2026)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
di: Wojtak, Connor, et al.
Pubblicazione: (2025)

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

muRelBench: MicroBenchmarks for Zonotope Domains
di: Ballou, Kenny, et al.
Pubblicazione: (2024)

Theta as a Horn Solver
di: Bajczi, Levente, et al.
Pubblicazione: (2025)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
di: Lanzinger, Florian, et al.
Pubblicazione: (2024)

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
di: Li, Letitia W., et al.
Pubblicazione: (2026)

Checking the HAL Interface Specification Continuously, Right from the Start
di: Bentele, Manuel, et al.
Pubblicazione: (2025)

Early Validation of High-level Requirements on Cyber-Physical Systems
di: Vašíček, Ondřej
Pubblicazione: (2025)

COTS: Connected OpenAPI Test Synthesis for RESTful Applications
di: Burlò, Christian Bartolo, et al.
Pubblicazione: (2024)