Formal reasoning about runtime code update.

Nathaniel Charlton Ben Horsfall Bernhard Reus

Published in: ICDE Workshops (2011)

Keyphrases

source code
formal model
formal language
databases
formal methods
qualitative reasoning
real world
genetic algorithm
artificial intelligence
bayesian networks
software systems
formal specification
mathematical theory