Specifying and Verifying Programs in Spec#.

K. Rustan M. Leino

Published in: Ershov Memorial Conference (2006)

Keyphrases

computer programs
model checking
benchmark suite
neural network
decision making
control flow
data mining
information systems
feature selection
case study
high level
object oriented
program execution