Translating Java for Multiple Model Checkers: The Bandera Back-End.

Radu Iosif Matthew B. Dwyer John Hatcliff

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

back end
computational model
probabilistic model
statistical model
data analysis
formal model
experimental data
theoretical analysis
building blocks
open source
user friendly
input data
data management
neural network
knn
cost function
objective function
image sequences
high level
genetic algorithm
machine learning