Naval Research Laboratory Washington, DC 20375-5320 NRL/MR/5540--03-8722 Proceedings STRATA 2003 First International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics Focus on PVS Experiences MYLA M. ARCHER Centerfor High Assurance Computer Systems Information Technology Division BEN L. Di VITO NASA Langley Research Center Hampton, VA CESAR MUNOZ National Institute of Aerospace Hampton, VA November 28, 2003 Approved for public release; distribution is unlimited. 20031217 227 V r 4