Välja töötada teoreetilised alused multivoo interaktsioonimasina kasutamiseks koodigeneraatori lähtemudeli omaduste verifitseerimisel. Välja töötada arupurul pohinev katseülesanne koodigeneraatori töö efektiivsuse testimiseks
Develop theoretical foundations that enable to use multi-stream interaction machine for verification of source model properties used as input for code generator. To develop a test-case for testing the efficiency of the code generator, based on intelligent dust and ad hoc networks