Formal Verification of a JavaCard Virtual Machine with Frama-C.

Adel Djoudi, Martin Hna, Nikolai Kosmatov

Browse the full FM paper archive.