Shi, Ruiyin

A SCADE Model Verification Method Based on B-Model Transformation

2025 · arXiv (Cornell University)

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 the B-Method. By establishing a semantic equivalence transformation mechanism from …