Research on SCADE-Based Formal Verification Technology
Lin Feng · Measurement & Control Technology · 2011
A model-based formal verification technology is researched for the software verification technology during software development,the principle and application of the method are analyzed.An example is introduced to illustrate the application of this model-based verification technology,which proves that this method is a supplement to traditional verification method,and will improve the reliability of the safety-critical software.