Igor S. Anureev

Available identifiers

zbMath Open anureev.igor-sergeevichMaRDI QIDQ174075

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5866349	2022-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q5866352	2022-09-21	Paper
Event-driven temporal logic pattern for control software requirements specification	2022-06-17	Paper
Method of the development of ontological operational semantics for imperative programming languages	2018-10-30	Paper
Integrated approach to analysis and verification of imperative programs	2017-04-26	Paper
Program specific transition systems	2017-04-26	Paper
Two-level mixed verification method of C-light programs in terms of safety logic	2017-04-26	Paper
Domain-specific transition systems and their application to a formal definition of a model programming language	2017-04-26	Paper
Operational semantics development for procedural programming languages based on conceptual transition systems	2017-04-26	Paper
Context machines as formalism for specification of dynamic systems	2017-02-21	Paper
Introduction to the Atoment language	2017-02-21	Paper
Ontological transition systems structures	2012-05-11	Paper
A language of actions in ontological transition systems	2012-05-11	Paper
Effective generation of verification conditions for non-deterministic unstructured programs	2012-05-11	Paper
A three-stage method of C program verification	2012-04-13	Paper
Operational ontological approach to formal programming language specification	2009-09-04	Paper
Generation of correctness conditions for imperative programs	2009-09-04	Paper
Towards verification of C\(\#\) programs: a three-level approach	2007-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q3023537	2005-07-05	Paper
Towards verification of C programs: Axiomatic semantics of the C-kernel language	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q3152931	2002-11-03	Paper
A method of elimination of data structures based on formula rewriting systems	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4517384	2000-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4517045	2000-11-20	Paper

Research outcomes over time

This page was built for person: Igor S. Anureev