information about formal methods field