Add pre/post conditions, assumptions/guarantees in the specification of components
These preconditions can be used in other model-cheking analyses
(from redmine: issue id 814, created on 2012-05-15, closed on 2012-07-15)
- Relations:
- child #905 (closed)
- child #906 (closed)