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

ESEC / SIGSOFT FSE, pp. 400-410, 2013.

Cited by: 9|Bibtex|Views10|
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com
Keywords:
cascading verificationintricate modelmodel checkerformalized domain knowledgelow-level system modelMore(10+)

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 abstract...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments