%0 Conference Proceedings
%F rusu02a
%A Rusu, V.
%T Verification using test generation techniques
%B Formal Methods Europe (FME'02)
%X Applying formal methods to testing has recently become a quite popular research topic. In this paper we explore the opposite approach, namely, applying testing techniques to formal verification. The idea is to use test generation techniques to extract subsets (called components) from a specification and to perform the verification on the components rather than on the whole system. This may considerably reduce the verification effort and, under reasonable sufficient conditions, a safety property verified on a component also holds on the whole specification
%U http://www.irisa.fr/vertecs/Equipe/Rusu/FME02/
%D 2002