PMC-SOG

Group working on Parallel Model Checking for Symbolic Observation Graphs (SOG)