Imagen de Portada

Executable Boundary Contracts for Sound Event Traces

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Alpay, Faruk, Alakkad, Hamdi
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Sound 68Q60, 03B44, 68T10, 94A12
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
por: Alpay, Faruk, et al.
Publicado: (2025)

Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
por: Alpay, Faruk, et al.
Publicado: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
por: Alpay, Faruk, et al.
Publicado: (2026)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
por: Alpay, Faruk, et al.
Publicado: (2025)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
por: Alpay, Faruk, et al.
Publicado: (2026)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
por: Alpay, Faruk, et al.
Publicado: (2025)

On Chaitin's Heuristic Principle and Halting Probability
por: Salehi, Saeed
Publicado: (2023)

Composable Post-Quantum Security for FADEC-Coupled Dual-Spool Turbofan Cyber-Physical Systems
por: Alpay, Faruk, et al.
Publicado: (2026)

The complexity of being monitorable
por: Camerlo, Riccardo, et al.
Publicado: (2026)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
por: Forster, Jonas, et al.
Publicado: (2026)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
por: van der Meyden, Ron
Publicado: (2025)

Choiceless Polynomial Space
por: Ferrarotti, Flavio, et al.
Publicado: (2024)

Finite-Horizon First-Order Rank Profiles of Regular Languages
por: Bazarova, Madina, et al.
Publicado: (2026)

Computability of Initial Value Problems
por: Brattka, Vasco, et al.
Publicado: (2024)

Why the classes P and NP are not well-defined finitarily
por: Anand, Bhupinder Singh
Publicado: (2024)

Preservation theorems on sparse classes revisited
por: Dawar, Anuj, et al.
Publicado: (2024)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
por: Zhang, Manqing, et al.
Publicado: (2026)

A declarative approach to specifying distributed algorithms using three-valued modal logic
por: Gabbay, Murdoch J., et al.
Publicado: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
por: Jaber, Guilhem, et al.
Publicado: (2025)

Refutability as Recursive as Provability
por: Cattabriga, Paola
Publicado: (2024)

There Are No Post-Quantum Weakly Pseudo-Free Families in Any Nontrivial Variety of Expanded Groups
por: Anokhin, Mikhail
Publicado: (2023)

The phi-Process: Operator-Algebraic Embeddings of Possibilities, Transfinite Stabilization, and a Quantitative Application to Sensory Depletion
por: Kilictas, Bugra, et al.
Publicado: (2025)

Implicit automata in λ-calculi III: affine planar string-to-string functions
por: Pradic, Cécilia, et al.
Publicado: (2024)

Complete First-Order Game Logic
por: Wafa, Noah Abou El, et al.
Publicado: (2025)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
por: Iskander, Ray
Publicado: (2026)

A Complete Fragment of LTL(EB)
por: Ferrarotti, Flavio, et al.
Publicado: (2024)

A Logspace Constructive Proof of L=SL
por: Buss, Sam, et al.
Publicado: (2025)

Glass-Box Analysis for Computer Systems: Transparency Index, Shapley Attribution, and Markov Models of Branch Prediction
por: Alpay, Faruk, et al.
Publicado: (2025)

Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security: Attacker Models and $Σ$-Protocols as the First Step
por: Inoué, Takao
Publicado: (2026)

Algebra of Self-Replication
por: Moss, Lawrence S.
Publicado: (2023)

Reversible computations are computations
por: Aubert, Clément, et al.
Publicado: (2025)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
por: Alpay, Faruk, et al.
Publicado: (2025)

Quantum Random Self-Modifiable Computation
por: Fiske, Michael Stephen
Publicado: (2018)

Provability in BI's Sequent Calculus is Decidable
por: Gheorghiu, Alexander, et al.
Publicado: (2021)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
por: Fusco, Ludovico, et al.
Publicado: (2025)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
por: Park, Sewon, et al.
Publicado: (2016)

Complete Game Logic with Sabotage
por: Wafa, Noah Abou El, et al.
Publicado: (2024)

Computational Complexity of Model-Checking Quantum Pushdown Systems
por: Lin, Deren, et al.
Publicado: (2025)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
por: Gabbay, Murdoch J.
Publicado: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
por: Chalupa, Marek, et al.
Publicado: (2025)