Cascading verification: an integrated method for domain-specific model checking

Open Webpage

Fokion Zervoudakis, David S. Rosenblum, Sebastian G. Elbaum, Anthony Finkelstein

Published: 2013, Last Modified: 16 May 2025ESEC/SIGSOFT FSE 2013EveryoneRevisionsBibTeXCC BY-SA 4.0