1999 – 2003 | Valens – internal project

Design and implementation of a methodology “proof by processing” to verify a knowledge base. This methodology is implemented in a tool “Valens” which can detect logical faults like inconsistency, incompleteness and redundancy.