A Functional Scenario for Bytecode Verification of Resource Bounds.
Roberto M. AmadioSolange Coupet-GrimalSilvano Dal-ZilioLine JakubiecPublished in: CSL (2004)
Keyphrases
- java card
- functional verification
- smart card
- upper bound
- java bytecode
- lower bound
- resource allocation
- model checking
- resource management
- source code
- upper and lower bounds
- virtual machine
- resource constraints
- worst case
- verification method
- real world
- web resources
- countermeasures
- data sets
- error bounds
- static analysis
- np hard