Cover Image

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Kaiwen, Liu, Guanjun
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence Formal Languages and Automata Theory Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
by: Zhang, Kaiwen, et al.
Published: (2022)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
by: Zhang, Kaiwen, et al.
Published: (2026)

AutoVerus: Automated Proof Generation for Rust Code
by: Yang, Chenyuan, et al.
Published: (2024)

On the Effectiveness of Large Language Models in Writing Alloy Formulas
by: Hong, Yang, et al.
Published: (2025)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
by: Yang, Chenyuan, et al.
Published: (2025)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
by: Morazán, Marco T., et al.
Published: (2025)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
by: Hu, Jilin, et al.
Published: (2025)

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
by: Chen, Zhiyong, et al.
Published: (2026)

Developing controlled natural language for formal specification patterns using AI assistants
by: Garanina, Natalia, et al.
Published: (2025)

Type-safe Monitoring of Parameterized Streams
by: Baumeister, Jan, et al.
Published: (2026)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
by: Mavridou, Anastasia, et al.
Published: (2025)

Configuration Monitor Synthesis
by: Köhl, Maximilian A., et al.
Published: (2024)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
by: van Spaendonck, P. H. M.
Published: (2024)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
by: Eldin, Ali Nour, et al.
Published: (2025)

SynCode: LLM Generation with Grammar Augmentation
by: Ugare, Shubham, et al.
Published: (2024)

Designing FSMs Specifications from Requirements with GPT 4.0
by: Timo, Omer Nguena, et al.
Published: (2026)

Executable Ontologies: Synthesizing Event Semantics with Dataflow Architecture
by: Boldachev, Aleksandr
Published: (2025)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
by: Shi, Chenhao, et al.
Published: (2023)

Contract Based Program Models for Software Model Checking
by: Amilon, Jesper, et al.
Published: (2025)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
by: Zameni, Tannaz, et al.
Published: (2026)

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
by: Dantas, PIerre, et al.
Published: (2025)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
by: Faitelson, David, et al.
Published: (2025)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
by: Ndadji, Milliam Maxime Zekeng, et al.
Published: (2020)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
by: Fang, Yue, et al.
Published: (2026)

Automata Learning -- Expect Delays!
by: Dengler, Gabriel, et al.
Published: (2025)

Once and for all: how to compose modules -- The composition calculus
by: Fettke, Peter, et al.
Published: (2024)

Complete FSM Testing Using Strong Separability
by: Hierons, Robert M., et al.
Published: (2025)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
by: Abreu, Francisco, et al.
Published: (2025)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
by: Zheng, Xinyi, et al.
Published: (2025)

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

Twinning automata and regular expressions for string static analysis
by: Negrini, Luca, et al.
Published: (2020)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
by: Hong, Chih-Duo, et al.
Published: (2025)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
by: Jia, Xiaodong, et al.
Published: (2024)

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
by: Granberry, George, et al.
Published: (2024)

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
by: Tihanyi, Norbert, et al.
Published: (2023)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
by: Khakpour, Narges, et al.
Published: (2025)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
by: Mündler, Niels, et al.
Published: (2025)

A Design Recipe and Recipe-Based Errors for Regular Expressions
by: Morazán, Marco T., et al.
Published: (2025)

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints
by: Kato, Yoshio, et al.
Published: (2026)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
by: Bergenthum, Robin, et al.
Published: (2026)