Buchumschlag

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kumar, Aman
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
von: Litterick, Mark, et al.
Veröffentlicht: (2024)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
von: Yubeaton, Patrick, et al.
Veröffentlicht: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
von: Shea-Blymyer, Colin, et al.
Veröffentlicht: (2024)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
von: Chen, Chen, et al.
Veröffentlicht: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
von: Mohanty, Hansa, et al.
Veröffentlicht: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
von: Ramani, Keshav, et al.
Veröffentlicht: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
von: Rehan, Zainab, et al.
Veröffentlicht: (2026)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
von: Kasibatla, Saketh Ram, et al.
Veröffentlicht: (2024)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
von: Xi, Bowen, et al.
Veröffentlicht: (2023)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
von: Florath, Andreas
Veröffentlicht: (2024)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
von: Kawamoto, Yusuke, et al.
Veröffentlicht: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
von: Hansen, Zachary
Veröffentlicht: (2025)

Neural Network Verification using Partial Multi-Neuron Relaxation
von: Shmuel, Ido, et al.
Veröffentlicht: (2026)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
von: Contreras, Ricardo, et al.
Veröffentlicht: (2025)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
von: Afzal, Mohammad, et al.
Veröffentlicht: (2025)

On Formally Undecidable Traits of Intelligent Machines
von: Fox, Matthew
Veröffentlicht: (2024)

Formally Certified Approximate Model Counting
von: Tan, Yong Kiam, et al.
Veröffentlicht: (2024)

Formally Verified Approximate Policy Iteration
von: Schäffeler, Maximilian, et al.
Veröffentlicht: (2024)

Rational Inference in Formal Concept Analysis
von: Carr, Lucas, et al.
Veröffentlicht: (2025)

Learning Formal Mathematics From Intrinsic Motivation
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
von: Metere, Alfredo
Veröffentlicht: (2026)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

Laurel: Unblocking Automated Verification with Large Language Models
von: Mugnier, Eric, et al.
Veröffentlicht: (2024)

Incremental Neural Network Verification via Learned Conflicts
von: Elsaleh, Raya, et al.
Veröffentlicht: (2026)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
von: Sebastiani, Roberto
Veröffentlicht: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
von: Olson, Taylor
Veröffentlicht: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
von: Nikooroo, Saleh, et al.
Veröffentlicht: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

BayesL: a Logical Framework for the Verification of Bayesian Networks
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
von: Arkoudas, Konstantine, et al.
Veröffentlicht: (2026)

Translating Informal Proofs into Formal Proofs Using a Chain of States
von: Wang, Ziyu, et al.
Veröffentlicht: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
von: Heuer, Jan
Veröffentlicht: (2023)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
von: Itoh, Kei
Veröffentlicht: (2025)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)