Heuristic search for invariants for one class of programs. 6

DOI10.1007/BF02733467zbMath0953.68095OpenAlexW2083485315MaRDI QIDQ1974332

A. G. Kostanyan

Publication date: 18 July 2000

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02733467

zbMATH Keywords

verification of programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Heuristic search for invariants for one class of programs. 6