6 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2024
Revisiting Assumptions Ordering in CAR-Based Model Checking
Yibo Dong, Yu Chen, Jianwen Li +2
Model checking is an automatic formal verification technique that is widely used in hardware verification. The state-of-the-art complete model-checking techniques, based on IC3/PDR…
cs.LO2022★ 2 cited
Regression verification of unbalanced recursive functions with multiple calls (long version)
Chaked R. J. Sayedoff, Ofer Strichman
Given two programs and , typically two versions of the same program, the goal of regression verification is to mark pairs of functions from and that are equi…
cs.LG2022★ 6 cited
Automated Repair of Neural Networks
Dor Cohen, Ofer Strichman
Over the last decade, Neural Networks (NNs) have been widely used in numerous applications including safety-critical ones such as autonomous systems. Despite their emerging adoptio…