Subject
Signal Processing,Control and Systems Engineering,Software
Reference17 articles.
1. Anureev, I.S., A method of elimination of data structures based on formula rewriting systems, Program. Comput. Software, 1999, vol. 25, no. 4, pp. 184–192.
2. Anureev, I.S., Maryasov, I.V., and Nepomniaschy, V.A., C-programs verification based on mixed axiomatic semantics, Aut. Cont. Comput. Sci., 2011, vol. 45, no. 7, pp. 485–500.
3. Atuchin, M.M. and Anureev, I.S., Attribute annotations and their use in C program deductive verification, Aut. Cont. Comput. Sci., 2012, vol. 46, no. 7, pp. 308–316.
4. Nepomniaschy, V.A., Anureev, I.S., Atuchin, M.M., Maryasov, I.V., Petrov, A.A., and Promsky, A.V., C program verification in Spectrum multilanguage system, Aut. Cont. Comput. Sci., 2011, vol. 45, no. 7, pp. 413–420.
5. Nepomniaschy, V.A., Anureev, I.S., Mikhailov, I.N., and Promskii, A.V., Towards verification of C programs. C-light language and its formal semantics, Program. Comput. Software, 2002, vol. 28, no. 6, pp. 314–323.