Вы здесь

Rushby J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Using PVS to Prove Some Theorems of David Parnas 1994 Rushby J., Srivas M. Lecture Notes in Computer Science 18.06.1994
СТ Theorem Proving for Verification 2001 Rushby J. Lecture Notes in Computer Science 04.11.2001
СТ Subtypes for Specifications 1997 Rushby J. Lecture Notes in Computer Science 03.10.1997
СТ Mechanizing Formal Methods: Opportunities and Chhallenges 1995 Rushby J. Lecture Notes in Computer Science ZUM 95: The Z Formal Specification Notation 06.10.1995
СТ Mechanized Formal Methods: Progress and Prospects 1996 Rushby J. Lecture Notes in Computer Science 24.12.1996
СТ Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving 1999 Rushby J. Lecture Notes in Computer Science 26.10.1999
СТ Formal Verification of Algorithms for Critical Systems 1991 Rushby J., Henke F. Software Engineering Notes 03.04.1992
СТ Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned 1993 Owre S., Rushby J., Shankar N., Von Henke F. Lecture Notes in Computer Science 27.05.1993
СТ Automated Test Generation and Verified Software 2008 Rushby J. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.10.2008
П Applications of Theorem Proving and Model Checking 2002 Rushby J. Techn.Univ.Munchen 24.08.2002
СТ An Operational Semantics for Stateflow 2004 Hamon G., Rushby J. Lecture Notes in Computer Science 16.04.2004
М A Tutorial Introduction to PVS 1995 Crow J., Owre S., Rushby J., Shankar N., Srivas M. Stanford Univ. 28.06.1997