Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design.

Susmita Guha, Akash Nag, Rahul Karmakar

Browse the full ISDA paper archive.