The Automated System for Parametric and Functional Control of the Logic ICS George Davydov, Аnna Kolosova, Adeliya Sharipova and Dmitriy Boychenko MATEC Web Conf., 79 (2016) 01071 Published online: 11 October 2016 DOI: 10.1051/matecconf/20167901071