Ivan M. Chernenko

According to our database, Ivan M. Chernenko authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2025

Pattern-Based Approach to the Automation of Deductive Verification of Process-Oriented Programs: Patterns, Lemmas, and Algorithms.

Ivan M. Chernenko, Igor S. Anureev

Autom. Control. Comput. Sci., December, 2025

2024

Requirement Patterns in Deductive Verification of poST Programs.

Ivan M. Chernenko, Igor S. Anureev, Natalya Olegovna Garanina

Autom. Control. Comput. Sci., December, 2024