Nassim Seghir
Nassim Seghir
Completed Projects:
See also
- My University of Freiburg homepage
- ACSAR: Automatic Safety Checker for C Programs
- P-Gen: Procedure Precondition Generator
- CPROVER plugin for Visual Studio.
Selected Publications
-
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
-
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
-
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