СТ |
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft |
2004 |
Ball T., Cook B., Levin V., Rajamani S. K. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
СТ |
Automatic Creation of Environment Models via Training |
2004 |
Ball T., Levin V., Xie F. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
СТ |
Translating Software Designs for Model Checking |
2004 |
Xie F., Levin V., Kurshan R. P., Browne J. C. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
СТ |
A Bilingual Specification Environment for Software/Hardware Co-design |
1996 |
Levin V., Bounimova E., Basbugoglu O., Inan K. |
|
|
|
ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 |
06.12.1996 |
СТ |
An Interface Implementation using a Formal Compiler Specification Method |
1996 |
Levin V., Bounimova E., Inan K. |
|
|
|
ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 |
06.12.1996 |
СТ |
Concepts for a C++ Animator Design for SDL-92 |
1994 |
Inan K., Levin V., Sulimov A., Yenigun H. |
|
|
ИСИ СО РАН |
Specification, Verification and Net Models of Concurrent Systems |
28.11.1995 |
СТ |
Algebraically Provable Specification of Optimized Compilations |
1993 |
Levin V. |
|
|
|
Lecture Notes in Computer Science |
20.11.1993 |