Added page on formal methods.