Alexandria: A Tool for Hierarchical Verification.

Annette Bunker Trent N. Larson Michael D. Jones Phillip J. Windley

Published in: FMCAD (1998)

Keyphrases

model checking
hierarchical structure
databases
software tools
face verification
high level
formal verification