Ivannikov Institute for System Programming of the RAS


Formal Conformance Verifcation.

Authors

A. Kossachev, I.Burdonov.

Abstract

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.

Full text of the paper in pdf

Keywords

LTS model, conformance relation, formal verification.

Edition

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

Research Group

Software Engineering

All publications during 2010 All publications