Characteristics of a good model
What are the Characteristics of a good model?
Expert
A model must include the most relevant information needed for determining whether the program properties being investigated hold in the target application.
Parts of the system that do not affect the outcome of the property verification can be excluded from the modeling phase. The dangers of getting the model wrong are obvious. If you exclude or abstract too much, you may get false positives or false negatives. If you leave in too much, the model checker spends most of its time checking unnecessary code, wasting precious time and memory.
There are several different approaches you can take to obtaining a model of the system. They are, in increasing order of preference:
Normal 0 false false
Structural Heuristics: Structural coverage measures can be used during directed model checking to improve the state space coverage (Groce and Visser 2002). Rather than looking for a particular error, it may be best to try and explore the structure of
l need this report made by Tuesday night , and with in text referencing APA .
A new fractional distillation column is not achieving the desired product specification. It is believed this is due to the design of the distillation column (i.e. column dimensions and internal components) and the control of its external components (i.e. reboiler and
18,76,764
1938359 Asked
3,689
Active Tutors
1452703
Questions Answered
Start Excelling in your courses, Ask an Expert and get answers for your homework and assignments!!