A. Methni, B. Ben Hedia, M. Lemerre, S. Haddad, K. Barkaoui. State space reduction strategies for model checking concurrent C programs.
9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Sep 2015, Bucharest, Romania. pp.65-75.
⟨cea-01844041⟩