Denis A. Nicole

机构：University of Southampton

发表论文 119 篇 · 总被引 1052 次 · h-index 18

代表论文

• ESBMC 5.0: an industrial-strength C model checker (2018 · 被引 111)
• ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference (2019 · Lecture notes in computer science · 被引 56)
• Context-Bounded Model Checking with ESBMC 1.17 (2012 · Lecture notes in computer science · 被引 41)
• ESBMC 1.22 (2014 · Lecture notes in computer science · 被引 28)
• Model checking LTL properties over ANSI-C programs with bounded traces (2013 · Software & Systems Modeling · 被引 24)
• Handling Unbounded Loops with ESBMC 1.20 (2013 · Lecture notes in computer science · 被引 24)