Alexandria: A Tool for Hierarchical Verification.

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

Browse the full FMCAD paper archive.