Unifying verification through a Python-wrapped Suite of Tools

Title
Unifying verification through a Python-wrapped Suite of Tools
Presentation
Date Published
2017
Author
Tara Jensen
John Gotway
Minna Winn-Gildenmeister
Julie Prestopnik
Jim Frimmel
G. McCabe
Randy Bullock
Ivanka Stajner
Geoff Manikin
Keywords
workshop
python
Download citation