caa a22 4500 60551853X CHVBK 20210128100726.0 cr unu---uuuuu 210128e20150101xx s 000 0 eng 10.1007/s10559-015-9691-3 doi (NATIONALLICENCE)springer-10.1007/s10559-015-9691-3 Generating Symbolic Traces in the Insertion Modeling System [Elektronische Daten] [A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Huba] This paper describes a new generator of symbolic traces which is designed for the latest version of the insertion modeling system. The basic characteristics of the generator are the use of graphic representations of descriptions of multilevel models, division of local descriptions and consequence relation, possibility of adjustment to different search strategies, and application of a new predicate transformer that admits generality quantifiers with constraints relaxed relative to the previous versions. Springer Science+Business Media New York, 2015 verification nationallicence insertion modeling nationallicence UCM nationallicence Letichevsky A. V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine aut Letychevskyi O. V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine aut Peschanenko V. Kherson State University, Kherson, Ukraine aut Huba A. V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine aut Cybernetics and Systems Analysis Springer US; http://www.springer-ny.com 51/1(2015-01-01), 5-15 1060-0396 51:1<5 2015 51 10559 https://doi.org/10.1007/s10559-015-9691-3 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10559-015-9691-3 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Letichevsky A. V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine aut NATIONALLICENCE 700 1- Letychevskyi O. V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine aut NATIONALLICENCE 700 1- Peschanenko V. Kherson State University, Kherson, Ukraine aut NATIONALLICENCE 700 1- Huba A. V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kiev, Ukraine aut NATIONALLICENCE 773 0- Cybernetics and Systems Analysis Springer US; http://www.springer-ny.com 51/1(2015-01-01), 5-15 1060-0396 51:1<5 2015 51 10559