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. Science of Computer Programming, 186, 2020. [doi]

Bibliographies