Symbolic Model-Checking Using ITS-Tools

• Counter Example Guided Abstraction Refinement for IEC 60848 GRAFCET

  2025 IEEE Industrial Electronics Society Annual On-Line Conference (ONCON) conference-paper Computer Science Formal Methods in Verification

  0

  citations
• Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  1

  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
• Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern

  2023 at - Automatisierungstechnik article Computer Science Model-Driven Software Engineering Techniques

  2

  citations
• A Decision Diagram Operation for Reachability

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  2

  citations
• 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

6 results