Experience Paper: Beyond Year 2000 Remediation: The Compliance Verification: A Case Study.

Michelangelo Interesse Roberto Dabbicco

Published in: ICSM (1999)

Keyphrases

model checking
case study
test bed
databases
data sets
machine learning
artificial intelligence
social networks
verification method
learning algorithm
information systems
multi agent
probabilistic model
formal verification