112
click to vote
ICDCSW
2000
IEEE
15 years 6 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...