A modularization approach to the verification of knowledge based systems