3 Questions 1 Answers 0 Followers
Questions related from 俊杰 上官
The modeling language has its corresponding abstract syntax and semantics. But the semantics are only expressed in the form of textual description. If you want to use some standard mathematics and...
01 June 2020 1,569 3 View
If you want to verify the correctness of the model conversion, is it a process of formalizing and then interactively proving with theorem prover? For example, whether the prover such as coq, B,...
25 April 2020 4,561 0 View
In my research I want to theoretically prove that the model transformation is correct. Specifically, it is to verify the model transformation of a state machine model to a fault tree model.Now my...
23 October 2019 7,952 2 View
