OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems.

Ermeson C. Andrade, Marcelo Alves, Rbens de Souza Matos Jnior, Bruno Silva, Paulo Romero Martins Maciel

Browse the full SAFECOMP paper archive.