Timed Refinement for Verification of Real-Time Object Code Programs.
Mohana Asha Latha DubasiSudarshan K. SrinivasanVidura WijayasekaraPublished in: VSTTE (2014)
Keyphrases
- real time
- symbolic execution
- d objects
- moving objects
- source code
- vision system
- control flow
- low cost
- object tracking
- error handling
- verification method
- java programs
- complex objects
- computer programs
- java bytecode
- control system
- multiple objects
- finite state machines
- object model
- spatial relationships
- similar objects
- data objects
- model checking
- data model
- object recognition