Login / Signup

Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.

William ChanRichard J. AndersonPaul BeameDavid Notkin
Published in: ISSTA (1998)
Keyphrases
  • symbolic model checking
  • artificial intelligence
  • partial observability
  • computational complexity
  • knowledge based systems
  • symbolic representation