When poll is active respond at

Model Checking is best described by which of these

9%

4

Static verification of code correctness, using logic and inference

16%

7

Dynamic testing but on a model, not on the code test

67%

29

Static analysis of an abstraction of code text ... a model

2%

1

Total correctness analysis for programs, unlike testing which cannot be 100%

2%

1

Strong theoretical and mathematical verification method for code, with no practical value

2%

1

Dynamic analysis via instrumentation of code under test

Powered by