Вы здесь

Kesten Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Decision Algorithm for Full Propositional Temporal Logic 1993 Kesten Y., Manna Z., Mcguire H., Pnueli A. Lecture Notes in Computer Science 20.08.1993
СТ Integration Graphs: A Class of Decidable Hybrid Systems 1993 Kesten Y., Pnueli A., Sifakis J., Yovine S. Lecture Notes in Computer Science 09.12.1993
СТ Temporal Verification of Simulation and Refinement 1994 Kesten Y., Manna Z., Pnueli A. Lecture Notes in Computer Science 05.08.1994
СТ Modularization and Abstraction: The Keys to Practical Formal Verification 1998 Kesten Y., Pnueli A. Lecture Notes in Computer Science 02.09.1998
СТ Algorithmic Verification of Linesr Temporal Logic Specifications 1998 Kesten Y., Pnueli A., Raviv L. Lecture Notes in Computer Science 11.08.1998
СТ Verifying Liveness by Augmented Abstraction 1999 Kesten Y., Pnueli A. Lecture Notes in Computer Science 12.11.1999
СТ A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software 1999 Kesten Y., Klein A., Pnueli A., Raanan G. Lecture Notes in Computer Science 30.10.1999