I. B. Bourdonov ,   K.  Alexandre ,   P.  Alexandre ,   C.  Spencer ,   W.  Helene Eigth NORTEL Design Forum, June 1996. , 06.1996 , language: английский  Аннотация Kernel Verification and Specification Technology - is based on automated test generation from formal specifications. The technology was developed under contract with Nortel and based of background gained academitic researchs By 1996, the methodology and toolset have been applied in industrial project dealing with verification of large - scale telecommunication software. Results of this project are presented in Formal Europe Method Application database. It is one of the biggest formal method application presented in the database. This paper provides brief description of the approach, comparison to related works, and prospects of the works.  Ключевые слова formal specification, test generation, functionaltesting