Otmane Ait Mohamed

Available identifiers

zbMath Open ait-mohamed.otmaneMaRDI QIDQ362270

List of research outcomes

Publication	Date of Publication	Type
LCF-style Platform based on Multiway Decision Graphs	2015-04-09	Paper
Automatic verification of reduction techniques in higher order logic	2014-11-10	Paper
NuMDG: a new tool for multiway decision graphs construction	2014-02-06	Paper
Formal proof of integer adders using all-prefix-sums operation	2013-08-20	Paper
A New Approach for the Construction of Multiway Decision Graphs	2009-01-27	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q3024855	2005-07-04	Paper
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)	2004-11-19	Paper
On the non-termination of MDG-based abstract state enumeration	2003-07-30	Paper

Research outcomes over time

This page was built for person: Otmane Ait Mohamed