Formal Conformance Verifcation.

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 год Все публикации