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]

Authors

Rusu, Vlad

Identified as Vlad Rusu

Gilles Grimaud

This author has not been identified. Look up 'Gilles Grimaud' in Google

Michaël Hauspie

This author has not been identified. Look up 'Michaël Hauspie' in Google