Rapid property specification and checking for model-based formalisms
Author
Abstract
In model-based development, verification techniques can be used to check whether an abstract model satisfies a set of properties. Ideally, implementation code generated from these models can also be verified against similar properties. However, the distance between the property specification languages and the implementation makes verifying such generated code difficult. Optimizations and renamings can blur the correspondence between the two, further increasing the difficulty of specifying verification properties on the generated code.
Year of Publication
2011
Conference Name
2011 22nd IEEE International Symposium on Rapid System Prototyping
Date Published
05/2011
Publisher
IEEE
Conference Location
Karlsruhe, Germany
URL
https://ieeexplore.ieee.org/document/5929985
DOI
10.1109/RSP.2011.5929985
Google Scholar | BibTeX | XML | DOI