Work

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

Year: 2025

Type: article

Source: Automatic Control and Computer Sciences

DOI: 10.3103/s0146411625700361

Authors: I. M. Chernenko, I. S. Anureev

Institutions: Russian Academy of Sciences, Siberian Branch of the Russian Academy of Sciences, Institute of Automation and Electrometry

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7130576578

FWCI:

Cites: 26

Cited by:

Related to: