INTELLIGENT KNOWLEDGE DATABASE (IKD) TOOL FOR FORMAL METHODS

This paper discusses the Intelligent Knowledge Database (IKD) tool generated for formal methods. The knowledge database provides the information regarding the existing formal methods in the area of academia, industry and R&D sectors. The tool provides complete information about the formal methods adopted in the conventional or model-based approach, in the various phases of the software development life cycle process, list of tools using formal techniques with their version and published literature supporting formal methods. This knowledge-database serves as a live encyclopedia which will enable the engineers and researchers interested in the field of formal methods. The database is intelligent because it provides the user with the flexibility of searching the formal method related information using keyword similar to the search engine. This is a unique tool for formal methods encompassing most of the published literature with intelligent search options.