Login / Signup
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