The following pages link to Otmane Ait Mohamed (Q362270):
Displayed 11 items.
- Formal proof of integer adders using all-prefix-sums operation (Q362271) (← links)
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Item:Q362270 (redirect page) (← links)
- On the non-termination of MDG-based abstract state enumeration (Q1399962) (← links)
- Item:Q362270 (redirect page) (← links)
- NuMDG: a new tool for multiway decision graphs construction (Q2434522) (← links)
- (Q3024855) (← links)
- Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) (Q4828448) (← links)
- LCF-style Platform based on Multiway Decision Graphs (Q4982624) (← links)
- Automated Technology for Verification and Analysis (Q5394212) (← links)
- A New Approach for the Construction of Multiway Decision Graphs (Q5505605) (← links)