Formal Specification and Verification of JavaCard's Application Identifier Class.
Joachim van den BergBart JacobsErik PollPublished in: Java Card Workshop (2000)
Keyphrases
- formal specification
- model checking
- protocol specification
- concurrent systems
- formal methods
- specification languages
- object oriented design
- data abstraction
- process algebra
- specification language
- reverse engineering
- temporal logic
- model checker
- design methodologies
- formal verification
- grid workflow
- user interface
- formal specification language
- computation tree logic
- asynchronous circuits