Login / Signup

Stopping Criteria Comparison: Towards High Quality Behavioral Verification.

Amjad HajjarTom ChenIsabelle MunnAnneliese Amschler AndrewsMaria Bjorkman
Published in: ISQED (2001)
Keyphrases
  • stopping criteria
  • high quality
  • model checking
  • high resolution
  • database
  • real world
  • computer vision
  • information systems
  • clustering algorithm
  • multiscale
  • temporal logic
  • highly accurate
  • low quality
  • verification method