Login / Signup

Concurrent Usage Control Implementation Verification Using the SPIN Model Checker.

P. V. RajkumarSoumya Kanti GhoshPallab Dasgupta
Published in: CNSA (2010)
Keyphrases
  • model checker
  • model checking
  • formal verification
  • formal methods
  • temporal logic
  • description language
  • specification language
  • formal specification
  • usage control
  • test suite
  • ai planning
  • fine grained
  • set theory