Author:
Efremov Denis,Mandrykin Mikhail,Khoroshilov Alexey
Publisher
Springer International Publishing
Reference19 articles.
1. Baudin, P., et al.: ACSL: ANSI/ISO C specification language. Technical report 1.12, CEALIST and INRIA, March 2017
2. Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. Formal Aspects Comput. 27(3), 573–609 (2015). https://doi.org/10.1007/s00165-014-0326-7
3. Moy, Y.: Automatic Modular Static Safety Checking for C Programs. Ph.D. thesis, Université Paris-Sud, January 2009. http://www.lri.fr/~marche/moy09phd.pdf
4. Mandrykin, M.U., Khoroshilov, A.V.: Region analysis for deductive verification of c programs. Program. Comput. Softw. 42(5), 257–278 (2016). https://doi.org/10.1134/S0361768816050042
5. Lecture Notes in Computer Science;N Carvalho,2014
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献