Abderrahmane Feliachi

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

Isabelle/Circus

by Abderrahmane Feliachi, Burkhart Wolff and Marie-Claude Gaudel