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. In TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering. 2018:
- 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]
- Verification d'invariants pour des systemes specifies en logique de reecritureVlad Rusu, Manuel Clavel. jfla 2009: 317-350
- (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.
- Vérification d'invariants pour des systèmes spécifiés en logique de réécritureVlad Rusu, Clavel, Manuel. Studia Informatica Universalis, 7(2), 2009.