Multi-parameterised compositional verification of safety properties.

Antti Siirtola Juha Kortelainen

Published in: Inf. Comput. (2015)

Keyphrases

model checking
data sets
data mining
artificial intelligence
case study
three dimensional
rough sets
formal methods