You are here

Home

Primary tabs

2015

Santos, C., F. Martins, and V. T. Vasconcelos, "Deductive Verification of Parallel Programs Using Why3", Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015., 2015.

2014

Marques, E. R. B., F. Martins, V. T. Vasconcelos, C. Santos, N. Ng, and N. Yoshida, Protocol-based verification of MPI programs, , 2014.

Vasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida, Type-based verification of message-passing parallel programs, , 2014.

2013

Martins, N. Dias, C. Santos, E. R. B. Marques, F. Martins, and V. T. Vasconcelos, "Especificação e Verificação de Protocolos para Programas MPI", INFORUM, 2013.

Marques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida, Specification and Verification of Protocols for MPI Programs, , 2013.