Automatic C Program Verification Based on Mixed Axiomatic Semantics | Maryasov | Modeling and Analysis of Information Systems

Modeling and Analysis of Information Systems
Modelirovanie i analiz informacionnyh sistem

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

eng | рус

Preview

Modeling and Analysis of Information Systems

Advanced search

Archives

Download this PDF file

For citations:

Maryasov I.V., Nepomnyaschy V.A., Promsky A.V., Kondratyev D.A. Automatic C Program Verification Based on Mixed Axiomatic Semantics. Modeling and Analysis of Information Systems. 2013;20(6):52-63. (In Russ.) https://doi.org/10.18255/1818-1015-2013-6-52-63

Views PDF (Rus): 1087

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

I. V. Maryasov
A.P. Ershov Institute of Informatics Systems SB RAS
Russian Federation

младший научный сотрудник,

prospect Akademika Lavrentjeva, 6, Novosibirsk, 630090, Russia

V. A. Nepomnyaschy
A.P. Ershov Institute of Informatics Systems SB RAS; Novosibirsk State University
Russian Federation

зав. лабораторией,

prospect Akademika Lavrentjeva, 6, Novosibirsk, 630090, Russia;

доцент,

Pirogova Str., 2, Novosibirsk, 630090, Russia

A. V. Promsky
A.P. Ershov Institute of Informatics Systems SB RAS
Russian Federation

научный сотрудник,

prospect Akademika Lavrentjeva, 6, Novosibirsk, 630090, Russia

D. A. Kondratyev
Novosibirsk State University
Russian Federation

студент,

Pirogova Str., 2, Novosibirsk, 630090, Russia

Notifications