The logic of bugs.

Gerard J. Holzmann

Published in: SIGSOFT FSE (2002)

Keyphrases

predicate logic
software systems
automated reasoning
data mining
multi valued
logic programming
source code
website
machine learning
bayesian networks
classical logic
computational properties
set theory
neural network
deontic logic
proof theory
security vulnerabilities