A Aralex Aachen research explorer

December 11, 2025 conference-paper

Towards Efficient Formal Verification of GRAFCET Specifications Using LLMs

IEEE Industrial Electronics Society Annual On-Line Conference (ONCON)

DOI: 10.1109/oncon68412.2025.11384202 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 5

Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
2022 IEEE Access article Computer Science Model-Driven Software Engineering Techniques Open access

12

citations
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Industrial Automation and Control Systems Open access

4

citations
GRAFCET Reduction Techniques for Model Checking
2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Formal Methods in Verification

4

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

4

citations
Structural Analysis of GRAFCET Control Specifications
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Petri Nets in System Modeling

2

citations

5 results