119
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...