| 摘要 |
Development of verified software codes is a very laborious process and is important especially where safety critical applications are concerned. A method is provided for the generation of verified software code against a requirement, which method comprises the steps of: i. using software to generate a state model of the requirement, ii. using the state model to develop a software code representation of the state model and a mathematical representation of the state model, iii. comparing the software code and mathematical representations to verify that the software code representation is a correct implementation of the mathematical representation. |
