9 citations · 24 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022★ 6 cited
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi +3
As a new programming paradigm, deep neural networks (DNNs) have been increasingly deployed in practice, but the lack of robustness hinders their applications in safety-critical dom…
cs.SE2011★ 9 cited
Designing a CPU model: from a pseudo-formal document to fast code
Frédéric Blanqui, Claude Helmstetter, Vania Joloboff +2
For validating low level embedded software, engineers use simulators that take the real binary as input. Like the real hardware, these full-system simulators are organized as a set…