Boundary Value Analysis Formula