Copertina

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Myreen, Magnus O., Carneiro, Mario
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory Logic in Computer Science Symbolic Computation D.2.4; F.1.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
di: Hebballi, Chirantan, et al.
Pubblicazione: (2026)

Parameterized Verification of Disjunctive Timed Networks
di: André, Étienne, et al.
Pubblicazione: (2023)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
di: Basold, Henning, et al.
Pubblicazione: (2023)

How Concise are Chains of co-Büchi Automata?
di: Ehlers, Rüdiger
Pubblicazione: (2025)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
di: Ong, Shawn, et al.
Pubblicazione: (2025)

Edit Distance of Finite-Valued Transducers
di: Mathew, Prince, et al.
Pubblicazione: (2026)

Edit Distance of Finite State Transducers
di: Aiswarya, C., et al.
Pubblicazione: (2024)

PVASS Reachability is Decidable
di: Guttenberg, Roland, et al.
Pubblicazione: (2025)

Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests
di: Guttenberg, Roland, et al.
Pubblicazione: (2025)

Model-bounded monitoring of hybrid systems
di: Waga, Masaki, et al.
Pubblicazione: (2021)

Orbit-finite linear programming
di: Ghosh, Arka, et al.
Pubblicazione: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
di: Grabolle, Gustav
Pubblicazione: (2022)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
di: Aiswarya, C, et al.
Pubblicazione: (2024)

Equivariant ideals of polynomials
di: Ghosh, Arka, et al.
Pubblicazione: (2024)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
di: Lin, Deren, et al.
Pubblicazione: (2014)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
di: Wang, Peixin, et al.
Pubblicazione: (2025)

Inquisitive Team Semantics of LTL
di: Bozzelli, Laura, et al.
Pubblicazione: (2025)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
di: Grabmayer, Clemens
Pubblicazione: (2024)

Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy
di: Silva, Jorge Miguel
Pubblicazione: (2026)

Parameterized Verification of Timed Networks with Clock Invariants
di: André, Étienne, et al.
Pubblicazione: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
di: Grahl, Johanna, et al.
Pubblicazione: (2025)

A Theory of Hanoi Omega-Automata and Games
di: Filiot, Emmanuel, et al.
Pubblicazione: (2026)

On Some Complexity Results for Even Linear Languages
di: Cojocaru, Liliana
Pubblicazione: (2024)

CBCL: Safe Self-Extending Agent Communication
di: O'Connor, Hugo
Pubblicazione: (2026)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
di: Bobrow, Elliot, et al.
Pubblicazione: (2025)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
di: Ardon, Leo, et al.
Pubblicazione: (2024)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
di: Moran, Murat
Pubblicazione: (2026)

Constructing Weakly Terminating Interface Protocols
di: Bera, Debjyoti, et al.
Pubblicazione: (2026)

Specializing anti-unification for interaction models composition via gate connections
di: Nguetoum, Joel, et al.
Pubblicazione: (2025)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions
di: Foughali, Mohammed Aristide, et al.
Pubblicazione: (2024)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
di: Bansal, Suguman, et al.
Pubblicazione: (2025)

A LOCAL View of the Polynomial Hierarchy
di: Reiter, Fabian
Pubblicazione: (2023)

Polynomial Bounds of CFLOBDDs against BDDs
di: Zhi, Xusheng, et al.
Pubblicazione: (2024)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

Learning Deterministic One-Counter Automata in Polynomial Time
di: Mathew, Prince, et al.
Pubblicazione: (2025)

Characterizing NC1 with Typed Monoids
di: Dawar, Anuj, et al.
Pubblicazione: (2025)

A Uniform Framework for Problems on Context-Free Grammars
di: Esparza, Javier, et al.
Pubblicazione: (2024)

On Repetitive Finite Automata with Translucent Words
di: Mráz, František, et al.
Pubblicazione: (2025)

On the Boolean Closure of Deterministic Top-Down Tree Automata
di: Löding, Christof, et al.
Pubblicazione: (2024)