Nicolas Ayache

male (France)
I am trying to develop tools to ease hardware and software verification, using static analysis, calculus of weakest pre-condition, automated and...