The following pages link to Mohamed Nassim Seghir (Q2789047):
Displayed 8 items.
- Necessary and Sufficient Preconditions via Eager Abstraction (Q2789048) (← links)
- Simplifying the Verification of Quantified Array Assertions via Code Transformation (Q2848907) (← links)
- An Assume Guarantee Approach for Checking Quantified Array Assertions (Q3067480) (← links)
- A Lightweight Approach for Loop Summarization (Q3172925) (← links)
- Abstraction Refinement for Quantified Array Assertions (Q3392917) (← links)
- EviCheck: Digital Evidence for Android (Q3460563) (← links)
- Counterexample-Guided Precondition Inference (Q5326301) (← links)
- Integration of a Software Model Checker into Isabelle (Q5387852) (← links)