C-light

D. Kondratyev A. Promsky An integrated approach to the error localization during C program verification // System Informatics. — . — # 1.  — P. 79-96
D. Kondratyev A. Promsky Towards automated error localization in C programs with loops // System Informatics. — . — # 14.  — P. 31-44
D. Kondratyev I. Maryasov V. Nepomniaschy Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // System Informatics. — . — # 10.  — P. 57-66
Subscribe to C-light