Towards formal verification of real-world SystemC TLM peripheral models - a case study.

Hoang Minh Le Vladimir Herdt Daniel Große Rolf Drechsler

Published in: DATE (2016)

Keyphrases

formal verification
real world
case study
data sets
probabilistic model
software engineering
complex systems
data mining
wide range
rough sets
model checking
bounded model checking
program slicing