|
|
|
|
Список литературы
|
|
| |
| 1. |
Н. А. Анисимов, “Формальная модель для разработки и формального описания протоколов”, Автоматика и вычислительная техника, 6 (1988), 3–10  |
| 2. |
Н. А. Анисимов, Е. А. Голенков, Д. И. Харитонов, “Композициональный подход к разработке параллельных и распределенных систем на основе сетей Петри”, Программирование, 6 (2001), 30–43  |
| 3. |
О. Л. Бандман, “Проверка корректности сетевых протоколов с помощью сетей Петри”, Автоматика и вычислительная техника, 6 (1986), 82–91 |
| 4. |
В. А. Непомнящий, О. М. Рякин, Прикладные методы верификации программ, Радио и связь, М., 1988 |
| 5. |
А. П. Лисица, А. П. Немытых, “Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4)”, Программирование, 1 (2007), 22–34 |
| 6. |
В. А. Непомнящий, И. С. Ануреев, И. Н. Михайлов, А. В. Промский, “На пути к верификации С-программ. Язык C-light”, Конференция, посвященная 90-летию со дня рождения Алексея Андреевича Ляпунова, Тезисы докладов, Новосибирск, 2001 |
| 7. |
В. А. Непомнящий, И. С. Ануреев, И. В. Дубрановский, А. В. Промский, “На пути к верификации С#-программ: Трёхуровневый подход”, Программирование, 4 (2006), 4–20 |
| 8. |
В. В. Липаев, “Методология верификации и тестирования крупномасштабных программных средств”, Программирование, 4 (2003), 7–24 |
| 9. |
Б. Мейер, Объектно-ориентированное конструирование программных систем, Русская редакция, М., 2005 |
| 10. |
C. A. R. Hoare, “An Axiomatic Basis for Computer Programming”, Comm. ACM, 12, no. 10, The Queen's University of Belfast, Northern Ireland, 1969, 576–580 |
| 11. |
K. A. Petri, Kommunication mit Automaten, Schriften des Rheinish, Westfalischen Institutes fur Instrumentelle Mathematik and der Universitat, Bonn, 1962 |
| 12. |
P. Müller, Modular Specification and Verification of Object-Oriented Programs, Springer-Verlag, 2001 |
| 13. |
M. Barnett, R. DeLine, M. Fähndrich, K. Rustan, M. Leino, W. Schulte, “Verification of Object-Oriented Programs with Invariants”, Journal of Object Technology, 3 (2004), 27–56  |
| 14. |
J. Quielle, J. Sifakis, “Specification and verification of concurrent systems in CESAR”, Proceedings 5-th International Symposium on Programming, LNCS, 137, 1982, 337–351 |
| 15. |
E. M.Clarke, E. A. Emerson, “Synthesis of synchronisation skeletons for branching time logic”, Logic of Programs, LNCS, 131, 1981, 52–71 |
