- About
- Innovations
- Divisions
- Compiler Technology Department
- Computer Systems Department
- Information Systems Department
- Software Engineering Department
- System integration and multi-disciplinary collaborative environments
- System Programming Department
- Theoretical Computer Science Department
- Academic council
- Dissertation council
- Verification Center of the Operating System Linux
- Center of competence in parallel and distributed computing
- Education
- Editions
- News
Formal Conformance Verifcation.
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 pdfKeywords
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
All publications during 2010
All publications