Nassim Seghir : Publications

Conference papers

• [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