Rodrigo Tacla Saad

Latest

• An Experiment on Parallel Model Checking of a CTL Fragment
• Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
• A General Lock-Free Algorithm for Parallel State Space Construction
• Enumerative Parallel and Distributed State Space Construction
• Observation Graph implementation for TINA toolbox