Open AccessPractical Aspects of Formal Verification of Networking Chips
Author(s) -
A.A. Sokhatski
Publication year - 2018
Publication title -
problemy razrabotki perspektivnyh mikro- i nanoèlektronnyh sistem ...
Language(s) - English
Resource type - Journals
ISSN - 2078-7707
DOI - 10.31114/2078-7707-2018-2-16-22
Subject(s) - computer science , formal methods , formal verification , software engineering , programming language