Login / Signup

Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering.

Christoph MeinelChristian Stangier
Published in: DATE (1999)
Keyphrases
  • symbolic model checking
  • dynamic environments
  • model checking
  • formal verification
  • artificial intelligence
  • rough sets
  • symbolic representation