Login / Signup
Bounded Model Checking of Software Using Interval Methods via Contractors.
Mohannad Aldughaim
Kaled M. Alshmrany
Mohamed Mustafa
Lucas C. Cordeiro
Alexandru Stancu
Published in:
CoRR (2020)
Keyphrases
</>
empirical studies
computational cost
preprocessing
neural network
data mining
case study
statistical methods
bounded model checking
decision trees
user interface
markov chain
benchmark datasets
model checking