Formal Verification of a JavaCard Virtual Machine with Frama-C
Adel Djoudi, Martin Hána, Nikolaï Kosmatov
Topics & Concepts
Computer scienceCorrectnessFormal verificationIntelligent verificationSmart cardFormal methodsVerificationSoftware engineeringProgramming languageFunctional verificationSoftware verificationSoftwareEmbedded systemSoftware systemComputer securitySoftware constructionSecurity and Verification in ComputingFormal Methods in VerificationLogic, programming, and type systems