Login / Signup

Using the ASTRAL Model Checker to Analyze Mobile IP.

Zhe DangRichard A. Kemmerer
Published in: ICSE (1999)
Keyphrases
  • model checker
  • mobile ip
  • model checking
  • formal methods
  • formal verification
  • temporal logic
  • description language
  • formal specification
  • test suite
  • ai planning
  • heuristic search
  • artificial intelligence