collaborators

1 paper

cs.SE2025

A SCADE Model Verification Method Based on B-Model Transformation

Xili Hou, Keming Wang, Huibing Zhao +1

Due to the limitations of SCADE models in expressing and verifying abstract specifications in safety-critical systems, this study proposes a formal verification framework based on…