Buchumschlag

AutoModel: Automatic Synthesis of Models from Communication Traces of SoC Designs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ahmed, Md Rubel, Nadimi, Bardia, Zheng, Hao
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	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

Inferring Message Flows From System Communication Traces
von: Nadimi, Bardia, et al.
Veröffentlicht: (2024)

Simple Classes of Automatic Structures
von: Blumensath, Achim
Veröffentlicht: (2025)

AutoFlows++: Hierarchical Message Flow Mining for System on Chip Designs
von: Nadimi, Bardia, et al.
Veröffentlicht: (2026)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
von: Kabra, Aditi, et al.
Veröffentlicht: (2026)

Information Flow Guided Synthesis with Unbounded Communication
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Prime Factorization in Models of PV$_1$
von: Ježil, Ondřej
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Trace Repair for Temporal Behavior Trees
von: Schirmer, Sebastian, et al.
Veröffentlicht: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
von: Xiao, Shengping, et al.
Veröffentlicht: (2024)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

Analyzing Divergence for Nondeterministic Probabilistic Models
von: Wu, Hao, et al.
Veröffentlicht: (2024)

Automata Linear Dynamic Logic on Finite Traces
von: Smith, Kevin W., et al.
Veröffentlicht: (2021)

A Sequent Calculus For Trace Formula Implication
von: Heidler, Niklas, et al.
Veröffentlicht: (2025)

Traces via Strategies in Two-Player Games
von: Plummer, Benjamin, et al.
Veröffentlicht: (2025)

A Program Instrumentation Framework for Automatic Verification
von: Amilon, Jesper, et al.
Veröffentlicht: (2024)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
von: Peressotti, Marco
Veröffentlicht: (2025)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
von: Zang, Zhengqing, et al.
Veröffentlicht: (2026)

Modular Automatic Complexity Analysis of Recursive Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2025)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
von: Brancas, Ricardo, et al.
Veröffentlicht: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2023)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
von: Foldvik, Simon
Veröffentlicht: (2026)

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
von: Li, Xianzhiyu, et al.
Veröffentlicht: (2024)

$\text{C}^2\text{P}$: Featuring Large Language Models with Causal Reasoning
von: Bagheri, Abdolmahdi, et al.
Veröffentlicht: (2024)

DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory
von: Peng, Chen
Veröffentlicht: (2026)

Specification and Automatic Verification of Computational Reductions
von: Grange, Julien, et al.
Veröffentlicht: (2024)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
von: Lommen, Nils, et al.
Veröffentlicht: (2022)

Games with $ω$-Automatic Preference Relations
von: Bruyère, Véronique, et al.
Veröffentlicht: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Computing Supported Models via Transformation to Stable Models
von: Li, Fang, et al.
Veröffentlicht: (2025)

Program Synthesis in Saturation
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

Efficient Reactive Synthesis
von: Ye, Xin, et al.
Veröffentlicht: (2024)

Synthesis with Guided Environments
von: Kupferman, Orna, et al.
Veröffentlicht: (2025)

Synthesis of Temporal Causality
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)