Publications longues sur les systèmes, la vérification, et l'intelligence artificielle.
An overview of using model checking and automated theorem proving to guarantee software correctness in nuclear control-command systems.