Open AccessVerification of Programs Based on Similarity Relations
Author(s) -
Виктор Васильевич Ковалев,
Радион Иванович Компаниец,
Владимир Александрович Новиков
Publication year - 2015
Publication title -
trudy spiiran
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 9
eISSN - 2078-9599
pISSN - 2078-9181
DOI - 10.15622/sp.38.13
Subject(s) - computer science , functional verification , runtime verification , intelligent verification , static analysis , software verification , high level verification , programming language , verification , formal verification , software engineering , software , software development , software construction