• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Of all publications in the section: 740
Sort:
by name
by year
Book
Карпова И. П. СПб.: Питер, 2013.
Added: Apr 10, 2013
Book
Кумсков М. И. М.: Изд-во механико-математического факультета МГУ, 2004.
Added: Dec 2, 2015
Book
Визгунов А. Н., Савченко А. В., Трифонов Ю. В. Н. Новгород: Издательство Нижегородского государственного университета им. Н.И. Лобачевского, 2013.
Added: Oct 5, 2013
Book
Кузнецов С. Д. М.: Бином, 2008.
Added: Oct 31, 2017
Book
Диго С. М. Издательский центр ЕАОИ, 2011.
Added: Dec 10, 2013
Book
Писляков В. В. М.: НФПК, ИНФРА-М, 2014.
Added: Mar 16, 2015
Book
М.: 2003.
Added: Sep 2, 2021
Book
Черткова Е. А. М.: Московский государственный машиностроительный университет, 2013.
Added: Oct 29, 2015
Book
Камкин А. С. М.: МАКС Пресс, 2018.

This textbook is devoted to formal methods for program verification and is based on the lectures given by the author at CMC MSU, DCAM MIPT, and FCS HSE. It describes the basics of such approaches as deductive analysis and model checking. The list of topics includes formal semantics of programming languages (operational and axiomatic semantics), formal specification of requirements (software contracts and the linear-time temporal logic), methods for proving program correctness (the method of inductive assertions and the method of well-founded sets), and model checking methods (the automata-theoretic approach in the explicit and symbolic forms). The textbook also addresses issues of abstract interpretation, constraint solving, and model-based testing; it provides information on the Frama-C and Spin tools. Each chapter is accompanied by examples and exercises.

Added: Nov 2, 2018
Book
Правдивая Е. А. М.: Отдел оперативной полиграфии Московского государственного института электроники и математики, 2012.
Added: Feb 26, 2014
Book
Байбикова Т. Н., Зыков А. К. М.: Московский государственный институт электроники и математики, 2008.
Added: Dec 14, 2012
Book
Иванова Е. М. М.: Московский государственный институт электроники и математики, 2012.
Added: Oct 12, 2012