Automation of Proving the Programs Correctness in the Frama-C system

24th International scientific conference «Information Technologies and Management» : conference proceedings (April 24–25, 2025). Riga, the Republic of Latvia). Riga, Latvia : “Baltija Publishing”, 2025. 572 pages.

Authors

Viktors Gopejenko (ORCID: https://orcid.org/0000-0002-7783-4519)
Yevhen Holovko

Institutions

ISMA University (LV)
Ventspils University of Applied Sciences (LV)

Publication Details

Published: 2025-01-01
DOI: https://doi.org/10.30525/978-9934-26-597-6-9
Primary Topic: Advanced Data Processing Techniques
Type: article
Field-Weighted Citation Impact: 0.00

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Automation of Proving the Programs Correctness in the Frama-C system

Viktors Gopejenko, Yevhen Holovko

Jan 1, 2025

Advanced Data Processing Techniques

article

Automation of Proving the Programs Correctness in the Frama-C system

Viktors Gopejenko, Yevhen Holovko

January 1, 2025article en

Abstract

ISMA University (LV), Ventspils University of Applied Sciences (LV)

Openalex Percentile: Top 65%

Advanced Data Processing Techniques

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Automation of Proving the Programs Correctness in the Frama-C system — Viktors Gopejenko, Yevhen Holovko · (2025) | TGRS Research Map | TGRS