Login / Signup

Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.

Richard J. AndersonPaul BeameWilliam ChanDavid Notkin
Published in: Ershov Memorial Conference (1999)
Keyphrases
  • safety analysis
  • symbolic model checking
  • machine learning
  • software development
  • test cases
  • software systems