Open AccessEnsuring completeness of formal verification with Gap Free Verification.
Author(s) -
Ratish J. Punnoose
Publication year - 2021
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.2172/1869536
Subject(s) - formal verification , computer science , completeness (order theory) , verification , functional verification , formal equivalence checking , high level verification , intelligent verification , formal methods , software verification , runtime verification , programming language , mathematics , software , software development , software construction , mathematical analysis
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