The following publications are possibly variants of this publication:
- Proving Partial-Correctness and Invariance Properties of Transition-System ModelsVlad Rusu, Gilles Grimaud, Michaël Hauspie. SCP, 186, 2020. [doi]
- Proving Partial-Correctness and Invariance Properties of Transition-System ModelsVlad Rusu, Gilles Grimaud, Michaël Hauspie. tase 2018: 60-67 [doi]
- Proving partial-correctness and invariance properties of transition-system modelsVlad Rusu, Gilles Grimaud, Michaël Hauspie. SCP, 186, 2020. [doi]
- (Co)inductive Proof Systems for Compositional Proofs in Reachability LogicVlad Rusu, David Nowak. In Proceedings Third Symposium on Working Formal Methods, Electronic Proceeding in Theoretical Computer Science 303. 2019: 32-47 [doi]
- Combining Theorem Proving and Narrowing for Rewriting-Logic SpecificationsVlad Rusu. tap 2010: 135-150 [doi]
- (Co)inductive Proof Systems for Compositional Proofs in Reachability LogicVlad Rusu, David Nowak. Journal of Logical and Algebraic Methods in Programming, , 2020.
- (Co)inductive Proof Systems for Compositional Proofs in Reachability LogicVlad Rusu, David Nowak. Preprint 2020.
- Verification d'invariants pour des systemes specifies en logique de reecritureVlad Rusu, Manuel Clavel. jfla 2009: 317-350