Cascading verification: an integrated method for domain-specific model checking
ESEC / SIGSOFT FSE, pp. 400-410, 2013.
cascading verificationintricate modelmodel checkerformalized domain knowledgelow-level system modelMore(10+)
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 abstract...More
PPT (Upload PPT)