Publications

Armstrong, R., Bachman, W.B., Hulette, G.C., Mayo, J., Michnovicz, J., Aytac, J., Johnson-Freyd, P., Punnoose, R.J., Smith, A.M., & Smith, A.M. (2017). Tools for Simple Yet Very High Consequence Controls [Presentation]. https://www.osti.gov/biblio/1513847

Michnovicz, J. (2016). Formal Verification of Digital ASICs [Presentation]. https://www.osti.gov/biblio/1346887

Michnovicz, J. (2014). Success Story: Using Advanced Verification Techniques to Increase Effectiveness [Presentation]. https://www.osti.gov/biblio/1684897