Date Added: Nov 2012
In this paper, the authors discuss 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.