Abstraction and Verification of Properties of a Real-Time Java.

Nadezhda Baklanova Martin Strecker

Published in: ICTERI (Revised Selected Papers) (2012)

Keyphrases

real time
open source
high level
object oriented
model checking
control system
vision system
databases
case study
software engineering
structural properties
desirable properties
java card
bounded model checking
hardware designs