JAG: JML Annotation Generation for Verifying Temporal Properties

Alain Giorgetti Julien Groslambert

Published in: FASE (2006)

Keyphrases

temporal properties
model checking
temporal logic
formal methods
possibility theory
semantic annotation
formal specification
image annotation
metadata
active learning
decision making
general purpose
random variables
incomplete information