Current Limits for Exploiting Automated Verification.

Irfan Zakiuddin

Published in: PDPTA (1999)

Keyphrases

automated verification
model checking
automated reasoning
real world
feature selection
multi agent