Static Analysis versus Software Model Checking for Bug Finding

This publication has 20 references indexed in Scilit:

• Protocol verification as a hardware design aid
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The Stanford FLASH multiprocessor
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A simple method for extracting models from protocol code
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Extended static checking for Java
  Published by Association for Computing Machinery (ACM) ,2002
• ESP
  Published by Association for Computing Machinery (ACM) ,2002
• CMC
  Published by Association for Computing Machinery (ACM) ,2002
• Using meta-level compilation to check FLASH protocol code
  Published by Association for Computing Machinery (ACM) ,2000
• A static analyzer for finding dynamic programming errors
  Software: Practice and Experience, 2000
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997