Buchumschlag

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Kaiwen, Liu, Guanjun
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Programming Languages Formal Languages and Automata Theory Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

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

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
von: Khakpour, Narges, et al.
Veröffentlicht: (2025)

Type-safe Monitoring of Parameterized Streams
von: Baumeister, Jan, et al.
Veröffentlicht: (2026)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
von: Mavridou, Anastasia, et al.
Veröffentlicht: (2025)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
von: van Spaendonck, P. H. M.
Veröffentlicht: (2024)

Contract Based Program Models for Software Model Checking
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

AutoVerus: Automated Proof Generation for Rust Code
von: Yang, Chenyuan, et al.
Veröffentlicht: (2024)

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

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
von: Lin, Yuanfei, et al.
Veröffentlicht: (2023)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
von: Shi, Chenhao, et al.
Veröffentlicht: (2023)

Automata Learning -- Expect Delays!
von: Dengler, Gabriel, et al.
Veröffentlicht: (2025)

Once and for all: how to compose modules -- The composition calculus
von: Fettke, Peter, et al.
Veröffentlicht: (2024)

Configuration Monitor Synthesis
von: Köhl, Maximilian A., et al.
Veröffentlicht: (2024)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
von: Fang, Yue, et al.
Veröffentlicht: (2026)

Complete FSM Testing Using Strong Separability
von: Hierons, Robert M., et al.
Veröffentlicht: (2025)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
von: Faitelson, David, et al.
Veröffentlicht: (2025)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
von: Abreu, Francisco, et al.
Veröffentlicht: (2025)

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

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
von: Basile, Davide
Veröffentlicht: (2025)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
von: Zameni, Tannaz, et al.
Veröffentlicht: (2026)

Twinning automata and regular expressions for string static analysis
von: Negrini, Luca, et al.
Veröffentlicht: (2020)

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

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
von: Hong, Chih-Duo, et al.
Veröffentlicht: (2025)

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints
von: Kato, Yoshio, et al.
Veröffentlicht: (2026)

SynCode: LLM Generation with Grammar Augmentation
von: Ugare, Shubham, et al.
Veröffentlicht: (2024)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
von: Mündler, Niels, et al.
Veröffentlicht: (2025)

On the Effectiveness of Large Language Models in Writing Alloy Formulas
von: Hong, Yang, et al.
Veröffentlicht: (2025)

A Note on Runtime Verification of Concurrent Systems
von: Leucker, Martin
Veröffentlicht: (2025)

Formally Verifying Noir Zero Knowledge Programs with NAVe
von: Antonino, Pedro, et al.
Veröffentlicht: (2026)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
von: Bergenthum, Robin, et al.
Veröffentlicht: (2026)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

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

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
von: Endrullis, Jörg, et al.
Veröffentlicht: (2025)

Enhanced Data Race Prediction Through Modular Reasoning
von: Ang, Zhendong, et al.
Veröffentlicht: (2025)

Design Support for Multitape Turing Machines
von: Morazán, Marco T., et al.
Veröffentlicht: (2025)

A Design Recipe and Recipe-Based Errors for Regular Expressions
von: Morazán, Marco T., et al.
Veröffentlicht: (2025)

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

Proceedings 16th International Workshop on Graph Computation Models
von: Lambers, Leen, et al.
Veröffentlicht: (2026)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
von: Yang, Chenyuan, et al.
Veröffentlicht: (2025)