Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow.

Ulrich Kühne Daniel Große Rolf Drechsler

Published in: MTV (2008)

Keyphrases

high quality
statistical analysis
bounded model checking
data analysis
information systems
case study
user interface
formal verification
data driven
quality measures
quality assessment
future development
automated analysis
requirements analysis
flow patterns