Crossmark

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination

Published Online: 2020-03-04

Published Print: 2019-12

Authors

Kondratyev, D. A.

Maryasov, I. V.

Nepomniaschy, V. A.
License Information

Text and Data Mining valid from 2019-12-01

Version of Record valid from 2019-12-01
More Information

Article History

Received: 10 September 2018

First Online: 4 March 2020

CONFLICT OF INTEREST

: The authors declare that they have no conflicts of interest.

Document is current