Copertina

Formal Verification of Consistency for Systems with Redundant Controllers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Johansson, Bjarne, Pourvatan, Bahman, Moezkarimi, Zahra, Papadopoulos, Alessandro, Sirjani, Marjan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
di: Etemadi, Khashayar, et al.
Pubblicazione: (2025)

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
di: Trinh, Hiep Hong, et al.
Pubblicazione: (2025)

M, Toolchain and Language for Reusable Model Compilation
di: Trinh, Hiep Hong, et al.
Pubblicazione: (2025)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
di: Ganesha, et al.
Pubblicazione: (2025)

Towards Automated Formal Verification of Backend Systems with LLMs
di: Xu, Kangping, et al.
Pubblicazione: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2025)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
di: Sousa, Tiago, et al.
Pubblicazione: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
di: Luckeneder, Christoph, et al.
Pubblicazione: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
di: Wang, Weiqi, et al.
Pubblicazione: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
di: Faria, João Pascoal, et al.
Pubblicazione: (2026)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
di: Hähnle, Reiner, et al.
Pubblicazione: (2025)

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

Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)

Using LLMs to Facilitate Formal Verification of RTL
di: Orenes-Vera, Marcelo, et al.
Pubblicazione: (2023)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
di: Ishii, Daisuke
Pubblicazione: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
di: Ma, Lezhi, et al.
Pubblicazione: (2026)

A Survey on Self-healing Software System
di: Yazdanparast, Zahra
Pubblicazione: (2024)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
di: Tan, Max
Pubblicazione: (2026)

Formal Synthesis of Uncertainty Reduction Controllers
di: Carwehl, Marc, et al.
Pubblicazione: (2024)

Agentic Verification of Software Systems
di: Tu, Haoxin, et al.
Pubblicazione: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2024)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
di: Corazza, Jan, et al.
Pubblicazione: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
di: Liu, Yuwei, et al.
Pubblicazione: (2026)

Quality in model-driven engineering: a tertiary study
di: Goulão, Miguel, et al.
Pubblicazione: (2025)

Safety Verification and Optimization in Industrial Drive Systems
di: Hasrat, Imran Riaz, et al.
Pubblicazione: (2025)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
di: Kauffman, Sean, et al.
Pubblicazione: (2024)

Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
di: Taherkhani, Hamed, et al.
Pubblicazione: (2026)

Formalizing UML State Machines for Automated Verification -- A Survey
di: André, Étienne, et al.
Pubblicazione: (2024)

Smart Contracts Formal Verification: A Systematic Literature Review
di: Davila, Rene, et al.
Pubblicazione: (2025)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
di: Kräuter, Tim, et al.
Pubblicazione: (2025)

Identification and Optimization of Redundant Code Using Large Language Models
di: Cynthia, Shamse Tasnim
Pubblicazione: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
di: Wei, Tianhao, et al.
Pubblicazione: (2024)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
di: Pirzada, Muhammad A. A., et al.
Pubblicazione: (2026)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
di: Zhang, Jianyu, et al.
Pubblicazione: (2024)

Data Annotation Quality Problems in AI-Enabled Perception System Development
di: Saeeda, Hina, et al.
Pubblicazione: (2025)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
di: Liu, Zihan, et al.
Pubblicazione: (2024)

Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag for Java Projects
di: Lu, Rui, et al.
Pubblicazione: (2025)

Formal Analysis of Metastable Failures in Software Systems
di: Alvaro, Peter, et al.
Pubblicazione: (2025)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2025)

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
di: Zhou, Xiaofeng, et al.
Pubblicazione: (2026)