Interface Generation and Compositional Verification in JavaPathfinder.

Dimitra Giannakopoulou Corina S. Pasareanu

Published in: FASE (2009)

Keyphrases

model checking
user friendly
user interface
interface design
high speed
formal methods
direct manipulation
novice users
computer vision
decision trees
case study
search algorithm
probabilistic model
web interface
asynchronous circuits