Институт системного программирования им. В.П. Иванникова РАН


Formal Conformance Verifcation.

Авторы

A. Kossachev, I.Burdonov.

Аннотация

In this paper, we propose a method for verification the so-called saco-relation between an implementation and the specification LTSs. We show that this verification can be finite and complete if the number of states and actions of LTSs is finite.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

LTS model, conformance relation, formal verification.

Издание

Short Papers of the 22nd IFIP ICTSS, Alexandre Petrenko, Adenilso Simao, Jose Carlos Maldonado (eds.), Nov. 08-10, 2010, Natal, Brazil, pp.1-6.

ISBN-13: 978-2-89522-136-4

Научная группа

Технологии программирования

Все публикации за 2010 год Все публикации