Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.

Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha

Browse the full TACAS paper archive.