Open AccessInvariant Elimination of Definite Iterations over Arrays in C Programs Verification
Author(s) -
Ilya V. Maryasov,
V. A. Nepomniaschy,
Dmitry A. Kondratyev
Publication year - 2017
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2017-6-743-754
Subject(s) - computer science , software verification , programming language , rewriting , formal verification , invariant (physics) , axiom , automated theorem proving , functional verification , solver , algorithm , theoretical computer science , mathematics , software , software development , software construction , geometry , mathematical physics