Login / Signup

Validating temporal properties of interacting objects.

Nomair A. NaeemOndrej Lhoták
Published in: OOPSLA Companion (2008)
Keyphrases
  • temporal properties
  • model checking
  • possibility theory
  • data objects
  • genetic algorithm
  • general purpose
  • formal methods