1. A method for verifying a set of rules ( 112, 114 ) in a rule-based expert system ( 110 ), the method comprising the steps of: retrieving a set of rules from an expert system ( 110 ), providing one or more logical expressions ( 116, 117 ) specifying cases of faulty behavior of said expert system ( 110 ), executing an automatic theorem prover in order to verify of whether or not the retrieved set of rules ( 112, 114 ) fulfill the provided one or more logical expressions ( 116, 117 ), if yes, generating a message indicating the existence of a case of faulty behavior, if no, generating a message indicating the correctness of said set of rules ( 112, 114 ).