One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...