Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code.
Philip W. L. FongRobert D. CameronPublished in: SIGSOFT FSE (1998)
Keyphrases
- mobile phone
- source code
- formal proof
- mobile learning
- mobile applications
- theorem proving
- symbolic execution
- mobile computing
- location aware
- byte code
- verification method
- mobile commerce
- formal verification
- computing environments
- signature verification
- error correcting
- wireless sensor networks
- changing environment
- concurrent systems
- model checking
- autonomous mobile