Benchmarking finite-state verifiers

George S. Avrunin, James C. Corbett, Matthew B. Dwyer
2000 International Journal on Software Tools for Technology Transfer (STTT)  
A variety of largely automated methods have been proposed for finite-state verification of software systems. Although anecdotal accounts of success are widely reported, there is very little empirical data on the relative strengths and weaknesses of those methods across a broad range of analysis questions and systems. But this information is critical for the transfer of the technology from research to practice. We review some of the problems involved in obtaining this information and suggest
more » ... ral ways in which the community can facilitate empirical evaluation of finite-state verification tools.
doi:10.1007/s100090050038 fatcat:2cdukk2tu5hwfa2yfta5rrdsrq