A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns.

Yunja Choi Dongwoo Kim

Published in: IEICE Trans. Inf. Syst. (2017)

Keyphrases

control software
formal methods
formal analysis
pattern analysis
model checking
data mining techniques
pattern discovery
interesting patterns
database
formal specification
model validation
automotive industry
similar patterns
formal representation
formal verification
pattern mining
data analysis
information systems