Skip to main content

Table 4 Assessment principles for related frameworks in the verification environment

From: A symbolic model checking approach in formal verification of distributed systems

Factor Tool
GSMT WaVer [56] FBD [54] PLC [57] SysML-ja [58] IStar [59] SimuLink [60] FOAM [61] ArchiMate [63] S2N [64] Petrinet2smv [65]
Code generation
Editor layer
Graphical model generation
Property generation
Reduction approach