Garcia-Contreras, Isabel
- VeriFly: On-the-fly Assertion Checking via Incrementality
2021/06/13 by Sanchez-Ordaz, Miguel A., Garcia-Contreras, Isabel, Perez-Carrasco, Victor +3 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Btor2MLIR: A Format and Toolchain for Hardware Verification
2023/09/16 by Joseph Tafese, Isabel Garcia-Contreras, Tafese, Joseph +3 · 1 citation
Computer Science · Engineering · #Software Testing and Debugging Techniques #Formal Methods in Verification #Radiation Effects in Electronics