Journals
Books
Articles by keyword model checking
Approaches to formal verification of model of microprocessor commutation subsystem devices
I.A. Stotland - Ph. D. (Eng.), Associate Professor, Moscow State University of Information Technologies, Radio Engineering and Electronics (MIREA) E-mail: irastot@mail.ru N.A. Starikovskaya - Ph. D. (Eng.), Associate Professor, Moscow State University of Information Technologies, Radio Engineering and Electronics (MIREA) E-mail: starikovskaya@mirea.ru M.A. Kirichenko - Student, Moscow State University of Information Technologies, Radio Engineering and Electronics (MIREA) E-mail: kmar.kmar@mail.ru