Computer Aided Verification

Overview of attention for book

Springer International Publishing

Attention for Chapter: Balancing Automation and Control for Formal Verification of Microprocessors

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 3,608 followers.

Balancing automation and control for formal verification of microprocessors. https://t.co/yNGzccKHvp #ITP #ACL2

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.