Please enable JavaScript.
Coggle requires JavaScript to display documents.
FM and security ? (pistes), Model checking is used to prove that the…
-
Model checking is used to prove that the system satisfies its specification (expressed in temporal logic)
-
Equivalent checking is used to prove that the system is equivalent or contain or is included in its specifications.
-
-