Specware 4.2 User Manual Copyright © 2001-2010 by Kestrel Development Corporation Copyright © 2001-2010 by Kestrel Technology LLC All rights reserved The name Specware® is a registered trademark of Kestrel Development Corporation