Crossmark

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

Published Online: 2023-02-19

Published Print: 2022-12

Authors

Kondratyev, D. A. http://orcid.org/0000-0002-9387-6735
License Information

Text and Data Mining valid from 2022-12-01

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

Article History

Received: 15 November 2021

Revised: 1 December 2021

Accepted: 8 December 2021

First Online: 19 February 2023

CONFLICT OF INTEREST

: The author declares that he has no conflicts of interest.

Document is current