Fortis: A Tool for Analysis and Repair of Robust Software Systems.

Changjian Zhang, Ian Dardik, Rmulo Meira-Ges, David Garlan, Eunsuk Kang

Browse the full FMCAD paper archive.