Login / Signup

Using a Model Checker to Test Safety Properties.

Paul AmmannWei DingDaling Xu
Published in: ICECCS (2001)
Keyphrases
  • model checker
  • model checking
  • test suite
  • test cases
  • formal verification
  • temporal logic
  • formal specification
  • formal methods
  • description language
  • relational databases
  • evolutionary algorithm
  • rough sets