A knowledge-based method for validating specifications including open parts.

Reki Yamamoto, Setsuo Tsuruta, Takashi Onoyama, Kazuko Oyanagi

Browse the full SMC paper archive.