PRoofster: Automated Formal Verification

Detalles Bibliográficos

Publicado en:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2023)
Autor principal:	Agrawal, Arpan
Otros Autores:	First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, Brun, Yuriy
Publicado:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Materias:	Verification Software engineering Automation Synthesis
Acceso en línea:	Citation/Abstract
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!