State Space Reduction Strategies for Model Checking Concurrent C Programs Amira Methni, Belgacem Ben Hedia, Matthieu Lemerre, CEA, LIST, Centre de Saclay, PC172, 91191, Gif-sur-Yvette, FRANCE

First Page		Document Content
Date: 2015-09-28 04:47:01		State Space Reduction Strategies for Model Checking Concurrent C Programs Amira Methni, Belgacem Ben Hedia, Matthieu Lemerre, CEA, LIST, Centre de Saclay, PC172, 91191, Gif-sur-Yvette, FRANCE Add to Reading List Source URL: www.lsv.ens-cachan.fr Download Document from Source Website File Size: 918,46 KB Share Document on Facebook