A Formal Executable Semantics of the JavaCard Platform.
Gilles BartheGuillaume DufayLine JakubiecBernard P. SerpetteSimão Melo de SousaPublished in: ESOP (2001)
Keyphrases
- formal specification
- specification languages
- process algebra
- specification language
- model checking
- concurrent systems
- formal methods
- real time
- reverse engineering
- model theoretic
- operational semantics
- formal language
- formal semantics
- platform independent
- highly expressive
- neural network
- software components
- temporal logic
- default reasoning
- logic programming
- case study
- artificial intelligence
- attribute grammars