A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Moore, Nicholas
Lawford, Mark

status

published

publication date

2022

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal

presented at event

16th International Symposium on Theoretical Aspects of Software Engineering (TASE) Conference