Project Description

LibRT has been present at CA world 2000 in New Orleans with three presentations. One presentation discussed the aim of verification techniques and is in collaboration with Jan Vanthienen of the University of Leuven in Belgium. The second presentation was a demonstration of VALENS and Prologa, two verification tools. The third presentation was about rule induction using a genetic algorithm.