Open AccessVerification of Programs Based on Similarity Relations
Author(s) -
Viktor Vasilevich Kovalyov,
Radion Ivanovich Kompaniets,
Vladimir Aleksandrovich Novikov
Publication year - 2015
Publication title -
spiiras proceedings
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom