Benchmarking finite-state verifiers

• 1 January 2000
• journal article
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 2  (4) , 317-320
• https://doi.org/10.1007/s100090050038

Abstract

Keywords

• FINITE-STATE VERICATION { BENCHMARKING { EMPIRICAL EVALUATION { MODEL CHECKING
• MODEL CHECKING
• SOFTWARE SYSTEMS