Modular Verification of Strongly Invasive Aspects.

Emilia Katz Shmuel Katz

Published in: Languages: From Formal to Natural (2009)

Keyphrases

model checking
neural network
trade off
formal methods
database
databases
bayesian networks
evolutionary algorithm
temporal logic
formal verification
verification method