Imagen de Portada

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jilissen, Kevin H. J., Dieleman, Peter, Groote, Jan Friso
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science F.4.2; F.4.3; D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
por: Chan, Jhet
Publicado: (2025)

Mechanizing Operads with Event-B
por: Attiogbé, Christian
Publicado: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
por: Beg, Arshad, et al.
Publicado: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
por: Beg, Arshad, et al.
Publicado: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
por: Gross, Jason, et al.
Publicado: (2022)

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

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
por: Beg, Arshad, et al.
Publicado: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
por: Beg, Arshad, et al.
Publicado: (2026)

A Short Survey on Formalising Software Requirements using Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
por: Prebet, Enguerrand, et al.
Publicado: (2026)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
por: Hellwig, Jonathan, et al.
Publicado: (2025)

Space-time process algebra with asynchronous communication
por: Bergstra, J. A., et al.
Publicado: (2024)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
por: Reinhard, Tobias
Publicado: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
por: Waldinger, Richard
Publicado: (2025)

Uniform Substitution for Differential Refinement Logic
por: Prebet, Enguerrand, et al.
Publicado: (2024)

Working Document -- Formalising Software Requirements with Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

Formalising Software Requirements using Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
por: Beg, Arshad, et al.
Publicado: (2026)

Parsing Hypergraphs using Context-Free Positional Grammars
por: Costagliola, Gennaro, et al.
Publicado: (2026)

Various Types of Comet Languages and their Application in External Contextual Grammars
por: Ködding, Marvin, et al.
Publicado: (2024)

A Graded Modal Type Theory for Pulse Schedules
por: Adams, Robin, et al.
Publicado: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
por: Baier, Daniel, et al.
Publicado: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
por: Ates, Salih, et al.
Publicado: (2024)

A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition
por: Fletcher, Peter
Publicado: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
por: Knothe, David, et al.
Publicado: (2026)

Oruga: An Avatar of Representational Systems Theory
por: Raggi, Daniel, et al.
Publicado: (2025)

Anti-Context-Free languages
por: Cardó, Carles
Publicado: (2024)

Verification of E-Voting Algorithms in Dafny
por: Büttner, Robert, et al.
Publicado: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
por: Sextl, Florian, et al.
Publicado: (2023)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
por: Chiari, Michele, et al.
Publicado: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
por: Esen, Zafer, et al.
Publicado: (2025)

Automatic Function Annotations for Hoare Logic
por: Matichuk, Danielle
Publicado: (2012)

A foundational characterization of Hoare Logic
por: Leivant, Daniel
Publicado: (2026)

Verified VCG and Verified Compiler for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Identity Testing for Stochastic Languages
por: Agarwal, Smayan, et al.
Publicado: (2025)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
por: Mustafa, Daham, et al.
Publicado: (2026)

A correspondence between the time and space complexity
por: Latkin, Ivan V.
Publicado: (2023)

On some Classes of Reversible 2-head Automata
por: Nagy, Benedek, et al.
Publicado: (2025)