Work

Requirement Patterns in Deductive Verification of poST Programs

Year: 2024

Type: article

Source: Automatic Control and Computer Sciences

DOI: 10.3103/s0146411624700421

Authors: I. M. Chernenko, I. S. Anureev, N. O. Garanina

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: W4407423342

FWCI: 0.152

Cites: 26

Cited by: 1

Related to: 10