Login / Signup
SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler.
Duc Hoang
Yannick Moy
Angela Wallenburg
Roderick Chapman
Published in:
Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
</>
industrial strength
programming language
text mining
general purpose
model checking
real time
databases
information retrieval
case study
software systems
data sets
data mining
decision trees
evolutionary algorithm
data model
international competition