Exploiting partial knowledge for efficient model analysis
Pessoa, Eduardo José Dias
- Publisher: Springer International Publishing
The advancement of constraint solvers and model checkers has enabled the effective analysis of high-level formal specification languages. However, these typically handle a specification in an opaque manner, amalgamating all its constraints in a single monolithic verific...
22 references, page 1 of 3
views in local repository
downloads in local repository
The information is available from the following content providers: