Formal Verification for Security Certification: From a First Success to Sustainable Industrial Usage.

Adel Djoudi, Nikolai Kosmatov

Browse the full FM paper archive.