Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
Document Date: 2015-09-28 04:47:01
Open Document
File Size: 918,46 KB
Share Result on Facebook
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