Benchmarking finite-state verifiers

International Journal on Software Tools for Technology Transfer

Volumn 2, Issue 4, 2000, Pages 317-320

  Avrunin, George S ^a   Corbett, James C ^b   Dwyer, Matthew B ^c  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

^b University of Hawai'i at Manoa   (United States)

^c Sunflower Networking Group   (United States)

Author keywords

Benchmarking; Empirical evaluation; Finite state verification; Model checking

Indexed keywords

ANECDOTAL ACCOUNTS; AUTOMATED METHODS; EMPIRICAL DATA; EMPIRICAL EVALUATIONS; FINITE STATE VERIFICATION; FINITE-STATE; RELATIVE STRENGTH;

MODEL CHECKING;

BENCHMARKING;

EID: 84896692839     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090050038     Document Type: Article

References (10)

1. Avrunin, G. S., Corbett, J. C., Dwyer, M. B., Pǎsǎreanu, C. S., Siegel, S. F: Comparing finite-state verification techniques for concurrent software. Technical Report UM-CS-1999-069, Department of Computer Science, University of Massachusetts at Amherst, 1999. Submitted for publication.
2. Chamillard, A. T., Clarke, L. A., Avrunin, G. S: An empirical comparison of static concurrency analysis techniques. Technical Report 96-84, Department of Computer Science, University of Massachusetts, 1996. Revised May 1997.
3. Cleaveland, W. R., Margaria, T., Steffen, B: Editorial. International Journal on Software Tools for Technology Transfer 1(1+2): 1-5. Berlin Heidelberg New York: Springer-Verlag, 1997.
4. Corbett, J. C: Evaluating deadlock detection methods for concurrent software. IEEE Trans. Softw. Eng. 22(3): 161-179, 1996.
5. Corbett, J. C., Avrunin, G. S: Using integer programming to verify general safety and liveness properties. Formal Methods in System Design 6: 97-123, 1995.
6. Dong, Y., Du, X., Ramakrishna, Y., Ramakrishnan, C., Ramakrishnan, I., Smolka, S., Sokolosky, O., Stark, E. W., Warren, D. S: Fighting livelock in the i-protocol: a comparative study of verification tools. In: Cleaveland, W. R. (ed): 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), Amsterdam. LNCS 1579. Berlin, Heidelberg, New York: Springer-Verlag, 1999, pp. 111-222.
7. Forester, K., MacFarlane, C., Cameron, M., Bolcer, G: Chiron-1 user manual. Arcadia Document UCI-93-07, University of California, Irvine, CA, Sept. 1993.
8. Holzmann, G. J: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5): 279-295, 1997.
9. Holzmann, G. J: The engineering of a model checker: the GNU i-protocol case study revisited. In: Dams, D., Gerth, R., Leue, S., Massink, M. (eds.): Theoretical and Practical Aspects of SPIN Model Checking. LNCS 1680. Berlin, Heidelberg, New, York: Springer-Verlag, 1999, pp. 232-244.
10. McMillan, K. L.: Symbolic Model Checking. Boston, MA: Kluwer Academic, 1993.