Verification of Parameterized Systems with Combinations of Abstract Domains.

Naghmeh Ghafari Arie Gurfinkel Richard J. Trefler

Published in: FMOODS/FORTE (2009)

Keyphrases

control system
complex systems
real world
neural network
artificial intelligence
e learning
high level
database systems
knowledge based systems
retrieval systems
computing systems
formal methods
automated verification