Electronic Resource
Springer
International journal on software tools for technology transfer
2 (2000), S. 317-320
ISSN:
1433-2787
Keywords:
Key words: Finite-state verification – Benchmarking – Empirical evaluation – Model checking
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract. A variety of largely automated methods have been proposed for finite-state verification of computer 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. This information, however, 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 several ways in which the community can facilitate empirical evaluation of finite-state verification tools.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s100090050038
Permalink
| Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |
