Titlebook: Structured Object-Oriented Formal Language and Method; Third International Shaoying Liu,Zhenhua Duan Conference proceedings 2014 Springer

无法破译

线

Hemodialysis

丰富

cumulative

无法取消

表被动

字的误用

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Fal specifications. Many formal specification-based techniques require the generation of functional scenarios. Our tool also supports automatic generation of functional scenarios on the basis of the syntactic information.

preeclampsia

异常

Checking Internal Consistency of SOFL Specification: A Hybrid Approacho check the different aspects of the specification: concrete or abstract values are used to check the satisfiability of a process, and the symbolic execution and the deduction techniques can be used to check the internal consistency of the specification at the integration level. We also use a Sort-S