Diego Machado Dias

Behavioural Preservation in Fault Tolerant Patterns

Juliano Iyoda, Diego Machado Dias, 2011, SBMF.

Compositionality and correctness of fault tolerant patterns in HOL4

Juliano Iyoda, Diego Machado Dias, 2014, Sci. Comput. Program..

Mechanising an algebraic rely-guarantee refinement calculus

Diego Machado Dias, D. Dias, 2017 .