Verifying eventuality properties of imprecise system requirements using event-B.

Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima

Browse the full SAC paper archive.