u Improved specification and validation of formal models, simulations,
and measurements.
u Improved techniques for defect detection and prediction.
u Normalization of various modeling artifacts of the to enable