Encouraging the Uptake of Formal Methods Training in an Industrial Context.

Michael G. Hinchey

Published in: ISoLA (2008)

Keyphrases

formal methods
contextual information
formal specification
training set
context aware
model checking
formal analysis
knowledge based systems
databases
software engineering
test set
fault tolerant
industrial applications
safety critical
process algebra
provably correct
artificial intelligence
data mining