C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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