An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.

Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura

Browse the full ICECCS paper archive.