Nassim Seghir
|
Nassim
Seghir
Research Assistant
Room 316, Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
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. |
| A Lightweight Approach for Loop Summarization Mohamed Nassim Seghir In ATVA. Pages 351−365. 2011. |
| An Assume Guarantee Approach for Checking Quantified Array Assertions Mohamed Nassim Seghir In AMAST. Pages 226−235. 2010. |
Info
|
Themes |
|
|
Projects |
PINCETTE | |
|
Completed Projects |
