Search by:
Year of publication
Author name
Paper title
Доказове проектування алгоритмів функціонуванняя реактивних систем
Full text (PDF)
UDC: 519.713.1
Publication Language: Russian
Stuc. intelekt. 2008; 13(3):771-780
Abstract: An approach to provably-correct design of reactive algorithms is described, that has been developed at the Glushkov Institute of Cybernetics of the Ukrainian Academy of Sciences. The basic problems arising in the design of reactive algorithms specified in the logical language L, and methods to solve them are considered.
Keywords:
References:
View full text (PDF)