Nassim Seghir : Publications
-
[1]
Counterexample−guided Precondition Inference
Mohamed Nassim Seghir and Daniel Kroening
In ESOP. 2013.
Details about Counterexample−guided Precondition Inference | BibTeX data for Counterexample−guided Precondition Inference
-
[2]
A Lightweight Approach for Loop Summarization
Mohamed Nassim Seghir
In ATVA. Pages 351−365. 2011.
Details about A Lightweight Approach for Loop Summarization | BibTeX data for A Lightweight Approach for Loop Summarization
-
[3]
An Assume Guarantee Approach for Checking Quantified Array Assertions
Mohamed Nassim Seghir
In AMAST. Pages 226−235. 2010.
Details about An Assume Guarantee Approach for Checking Quantified Array Assertions | BibTeX data for An Assume Guarantee Approach for Checking Quantified Array Assertions
-
[4]
Abstraction Refinement for Quantified Array Assertions
Mohamed Nassim Seghir‚ Andreas Podelski and Thomas Wies
In SAS. Pages 3−18. 2009.
Details about Abstraction Refinement for Quantified Array Assertions | BibTeX data for Abstraction Refinement for Quantified Array Assertions
-
[5]
ACSAR: Software Model Checking with Transfinite Refinement
Mohamed Nassim Seghir and Andreas Podelski
In SPIN. Pages 274−278. 2007.
Details about ACSAR: Software Model Checking with Transfinite Refinement | BibTeX data for ACSAR: Software Model Checking with Transfinite Refinement
-
[6]
Integration of a Software Model Checker into Isabelle
Matthias Daum‚ Stefan Maus‚ Norbert Schirmer and M. Nassim Seghir
In LPAR. Pages 381−395. 2005.
Details about Integration of a Software Model Checker into Isabelle | BibTeX data for Integration of a Software Model Checker into Isabelle