State Space Reduction Strategie for Model Checking Concurrent C Programs.

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui

Browse the full VECoS paper archive.