The Belgian Electronic Identity Card: a Verification Case Study.
Pieter PhilippaertsFrédéric VogelsJan SmansBart JacobsFrank PiessensPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
- case study
- software development
- model checking
- low cost
- knowledge management
- lessons learned
- smart card
- bulletin board
- data sets
- electronic books
- real world
- functional verification
- concurrent systems
- design automation
- asynchronous circuits
- fingerprint verification
- test generation
- formal verification
- development process
- data mining