Vlad Rusu, Gilles Grimaud, Michaël Hauspie. Proving Partial-Correctness and Invariance Properties of Transition-System Models. In Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng, editors, 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. pages 60-67, IEEE, 2018. [doi]
Abstract is missing.