Designing Software Architecture All human can design ! –Do you believe in this? (matter of degree?) Design, as a set of activities, may be analyzed ! –Do.
Abstraction Refinement for Bounded Model Checking