Login / Signup
Validating temporal properties of interacting objects.
Nomair A. Naeem
Ondrej Lhoták
Published in:
OOPSLA Companion (2008)
Keyphrases
</>
temporal properties
model checking
possibility theory
data objects
genetic algorithm
general purpose
formal methods