Abstract: The prevailing SMS (Safety Management System) verification methods are found difficult to ensure SMS files fully comply with international or domestic compul sory stipulations. This seriously restricts full realization of the efficiency o f ISM Code. Under the circumstance of network, a computer aided verification technology for SMS files has been developed. Its main achievements, so far, are as follows: Matching rules between clauses of laws and regulations and SMS file s have been established. Mathematical evaluation methods are further developed t o decide the conformity degree of SMS files with the statute clauses. Computer a ided verification program has been designed. Preliminary application of the subj ect technology indicates that it enables the auditors to rapidly and thoroughly identify non-conformities in SMS files against laws and regulations with a reas onable result of the conformity degree. The technology could help to improve the conformity degree of SMS files with the statute clauses, so as to facilitate th e complete implementation of the ISM Code. It is also applicable to similar mana gement systems.