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.

Full text of the paper in 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

Research Group

Software Engineering

All publications during 2010 All publications