ADVANCED TOOLS AND mCHNIQUES FOR FORMAL TECHNIQUES IN AEROSPACE SYSTEMS
Ben L. DiVito · NASA Technical Reports Server (NASA) · 2005
limited capability. It is often the case that tools implement a novel concept or an advanced form of analysis yet lack various common functions. Similarly, tools often provide support for a single advanced capability, such as model checking or theorem proving, but offer no integrated support for a range of techques. Ths is despite the fact that multiple tech- niques might be needed in any given circumstance of use. In previous research, we have identified a number of difficulties with the tools and techniques that have been developed for formal methods, and we have developed prelimi- nary solutions to many of these difficulties. In particular, we have developed a toolset that