Cascading verification: an integrated method for domain-specific model checking
Abstract
Model checking is an established method for verifying behavioral properties of system models. But model checkers tend to support low-level modeling languages that require intricate models to represent even the simplest systems. Modeling complexity arises in part from the need to encode domain knowledge at relatively low levels of abstraction.
BibTeX
@inproceedings{Zervoudakis-al:FSE13,
author = {Fokion Zervoudakis and
David S. Rosenblum and
Sebastian G. Elbaum and
Anthony Finkelstein},
title = {Cascading verification: an integrated method for domain-specific model checking},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {400--410},
publisher = {{ACM}},
year = {2013},
}