Formal Verification of Infinite-State BIP Models.

Simon Bliudze Alessandro Cimatti Mohamad Jaber Sergio Mover Marco Roveri Wajeb Saab Qiang Wang

Published in: ATVA (2015)

Keyphrases

formal verification
model checking
statistical model
experimental data
data sets
neural network
machine learning
web services
rough sets
model selection
formal methods
automated verification