Image de couverture de livre

Automated Formal Verification of a Highly-Configurable Register Generator

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Shuhang, Olmos, Bryan, Naik, Basavaraj
Format:	Preprint
Publié:	2024
Sujets:	Hardware Architecture Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
par: Zhang, Shuhang, et autres
Publié: (2025)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
par: Christ, Derek, et autres
Publié: (2026)

In-Memory Sorting-Searching with Cayley Tree
par: Paul, Subrata, et autres
Publié: (2025)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
par: Liu, Yuntao, et autres
Publié: (2021)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
par: Li, Nanbing, et autres
Publié: (2026)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
par: Basin, David, et autres
Publié: (2025)

Learning EFSM Models with Registers in Guards
par: Vega, Germán, et autres
Publié: (2024)

Hyper-Minimization for Deterministic Register Automata
par: Li, Yong, et autres
Publié: (2026)

Minimizing Cost Register Automata over a Field
par: Benalioua, Yahia Idriss, et autres
Publié: (2023)

Scalable Tree-based Register Automata Learning
par: Dierl, Simon, et autres
Publié: (2024)

Unambiguisability and Register Minimisation of Min-Plus Models
par: Almagor, Shaull, et autres
Publié: (2025)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
par: Zhang, Qifan, et autres
Publié: (2025)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
par: Crochet, Christophe, et autres
Publié: (2025)

Closure Properties of General Grammars -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2023)

NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network Configuration
par: Twabi, Ahmed, et autres
Publié: (2026)

A General Information Extraction Framework Based on Formal Languages
par: Schmid, Markus L.
Publié: (2025)

Active Inference of Extended Finite State Machine Models with Registers and Guards
par: Groz, Roland, et autres
Publié: (2026)

Automata Size Reduction by Procedure Finding
par: Šedý, Michal, et autres
Publié: (2024)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
par: Mazowiecki, Filip, et autres
Publié: (2025)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
par: Han, Xiaoguang, et autres
Publié: (2024)

Conservative Perception Models for Probabilistic Verification
par: Cleaveland, Matthew, et autres
Publié: (2025)

A Formal Approach for Tuning Stochastic Oscillators
par: Ballarini, Paolo, et autres
Publié: (2024)

WEX: Formal Specifications for Windows in Stream Processing
par: Hitarth, S, et autres
Publié: (2022)

Counting Abstraction for the Verification of Structured Parameterized Networks
par: Bozga, Marius, et autres
Publié: (2025)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
par: Manini, Andrea, et autres
Publié: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
par: Kan, Shuanglong, et autres
Publié: (2025)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
par: Wißmann, Thorsten
Publié: (2026)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
par: Eichler, Paul, et autres
Publié: (2024)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
par: Akshay, S., et autres
Publié: (2025)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
par: Basile, Davide
Publié: (2025)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
par: Bergsträßer, Pascal, et autres
Publié: (2024)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
par: Fränzle, Martin, et autres
Publié: (2024)

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
par: Mahe, Erwan, et autres
Publié: (2024)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
par: Finkel, Alain, et autres
Publié: (2025)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
par: Schalk, Patrizia, et autres
Publié: (2025)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
par: Latif, Saba, et autres
Publié: (2025)

Executable QR codes with Machine Learning for Industrial Applications
par: Scanzio, Stefano, et autres
Publié: (2024)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
par: Zhang, Kuize, et autres
Publié: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
par: Zhang, Kaiwen, et autres
Publié: (2026)

Formally Verified Linear-Time Invertible Lexing
par: Chassot, Samuel, et autres
Publié: (2025)