information about formal verification field