Proving Partial-Correctness and Invariance Properties of Transition-System Models

Vlad Rusu, Gilles Grimaud, Michaƫl Hauspie. Proving Partial-Correctness and Invariance Properties of Transition-System Models. In TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering. IEEE Xplore, Guangzhou, China, Aug 2018.

Bibliographies