Cesar Rodriguez

Latest

• Dynamic Symbolic Verification of MPI Programs
• Unfolding-based Partial Order Reduction