Birth date:
10.02.1971
E-mail: ,
Keywords: program verification,
program specification,
program semantics,
automated proving,
ontologies.
Subject:
Program verification, program specification, program semantics.
Main publications:
Nepomnyaschii V. A., Anureev I. S., Mikhailov I. N., Promskii A. V., “Na puti k verifikatsii S programm. Yazyk C-light i ego formalnaya semantika”, Programmirovanie, 2002, № 6, 1–13
Anureev I. S., “Operatsionno-ontologicheskii podkhod k formalnoi spetsifikatsii yazykov programmirovaniya”, Programmirovanie, 2009, № 1, 1–11
Nepomnyaschii V. A., Anureev I. S., Promskii A. V., “Na puti k verifikatsii S programm. Aksiomaticheskaya semantika yazyka C-kernel”, Programmirovanie, 2003, № 6, 5–15
Nepomnyaschii V. A., Anureev I. S., Promskii A. V., Dubranovskii I. V., “Na puti k verifikatsii C# programm: trekhurovnevyi podkhod”, Programmirovanie, 2006, № 4, 4–20
Shilov N. V., Anureev I. S., Bodin E. V., “O generatsii uslovii korrektnosti dlya imperativnykh programm”, Programmirovanie, 2008, № 6, 1–20
