Yakoub Nemouchi

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming

by Simon Foster 🌐, Frank Zeyda, Yakoub Nemouchi 📧, Pedro Ribeiro and Burkhart Wolff 📧

Formal Specification of a Generic Separation Kernel

by Freek Verbeek 📧, Sergey Tverdyshev 📧, Oto Havle 📧, Holger Blasum 📧, Bruno Langenstein 📧, Werner Stephan 📧, Yakoub Nemouchi 📧, Abderrahmane Feliachi 📧, Burkhart Wolff 📧 and Julien Schmaltz 📧