Вы здесь

Clarke E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems 1995 Campos S., Clarke E., Marrero W., Minea M. SIGPLAN Notices 25.12.1995
СТ Verification Tools for Finite-State Concurrent Systems 1994 Clarke E., Grumberg O., Long D. Lecture Notes in Computer Science 05.08.1994
СТ Progress on the State Explosion Problem in Model Checking 2001 Clarke E., Grumberg O., Jha S., Lu Y., Veith H. Lecture Notes in Computer Science 04.04.2001
СТ ProbVerus: Probabilistic Symbolic Model Checking 1999 Hartonas-Garmhousen V., Campos S., Clarke E. Lecture Notes in Computer Science 18.06.1999
СТ Partial Order Reductions for Security Protocol Verification 2000 Clarke E., Jha S., Marrero W. Lecture Notes in Computer Science 26.04.2000
СТ Model Checking: Back and Forth between Hardware and Software 2008 Clarke E., Gupta A., Jain H., Veith H. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.10.2008
СТ Completeness and Complexity of Bounded Model Checking 2004 Clarke E., Kroening D., Ouaknine J., Strichman O. Lecture Notes in Computer Science 11.02.2004
СТ A Tool for Checking ANSI-C Programs 2004 Clarke E., Kroening D., Lerda F. Lecture Notes in Computer Science 15.05.2004

Редактор: