7. Constraints Based Analysis Flashcards by Allison Urban

Q

What is constraints based analysis?

A

Constrains based analysis is concerned with the specification of the analysis rather than the implementation of the analysis.

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What are the benefits of constraints based analysis?

A

Separates analysis specification from implementation
Yields natural program specifications.
Enables sophisticated analysis implementations (leverage powerful off-the-shelf constraint solvers)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly