Automated assertion transformation across multiple abstraction levels.
Thomas Steininger · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 2009
In this work, a methodology for automated assertion transformation, an extended assertion evaluation semantics, and a corresponding transformation language has been developed. Using this methodology it is possible to transform existing assertions to other levels of abstraction. This allows reusing existing assertions, which were written for abstract models, for the development of less abstract ones while minimizing the danger of manually introducing errors during the transformation process.