next up previous

Final Report of the COST-247 Action


Optimal Checking Sequence Construction Under Differing Set of Assumptions Exploiting Overlapping Constraints

Kemal Inan

Electrical & Electronics Engineering Department
Middle East Technical University
Ankara 06531, Turkey
e-mail : inan@srdc.metu.edu.tr
tel : +90-312-2101298 and +90-312-2102324
fax : +90-312-2101411 and +90-312-2101261

Abstract:

Theory of exhaustive checking sequence generation is presented in which problems of optimality are formulated and solved in terms of synthesis of a path with patch constraints on an I/O automaton.

This presentation has been given during the COST-247 7th Management Committee Meeting (Madrid, Spain, February, 12--13, 1995).

COST-247 Working Group(s): 3


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page