Tool-Assisted Specification and Verification of the JavaCard Platform.
Gilles BarthePierre CourtieuGuillaume DufaySimão Melo de SousaPublished in: AMAST (2002)
Keyphrases
- formal specification
- formal verification
- model checking
- concurrent systems
- formal methods
- asynchronous circuits
- software platform
- real time
- smart card
- data sets
- specification language
- high level
- simulation environment
- software systems
- real world
- simulation tool
- sequence diagrams
- neural network
- verification method
- scripting language