Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Alexandria: A Tool for Hierarchical Verification

Alexandria: A Tool for Hierarchical Verification

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1522/1998
BookFormal Methods in Computer-Aided Design
DOI10.1007/3-540-49519-3
Copyright1998
ISBN978-3-540-65191-8
DOI10.1007/3-540-49519-3_34
Page59
Subject CollectionComputer Science
SpringerLink DateThursday, January 01, 1998
Add to marked items

Alexandria: A Tool for Hierarchical Verification

Annette Bunker6 Contact Information, Trent N. Larson6 Contact Information, Michael D. Jones7 Contact Information and Phillip J. Windley6 Contact Information

(6)  University of Utah, USA
(7)  Brigham Young University, Provo, UT 84602-6576
Abstract
Alexandria is an implementation of the hierarchical verification methodology for the Higher-Order Logic (HOL) theorem prover. The main contribution of Alexandria is the reduction of e.ort required by the user to create and use hierarchical hardware proofs in HOL. We discuss the implementation and use of Alexandria with an example and outline our future work.
Thiswork was sponsored by the National Science Foundation under NSF grant MIP-9412581

Contact Information Annette Bunker
Email: bunker@cs.byu.edu

Contact Information Trent N. Larson
Email: larson@cs.byu.edu

Contact Information Michael D. Jones
Email: mjones@cs.utah.edu

Contact Information Phillip J. Windley
Email: windley@cs.byu.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.106 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)