6 citations · 11 across the 7 of their papers we have counts for
7 papers
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…
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…
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…
Exploiting Isomorphic Subgraphs in SAT (Long version)
Alexander Ivrii, Ofer Strichman
While static symmetry breaking has been explored in the SAT community for decades, only as of 2010 research has focused on exploiting the same discovered symmetry dynamically, duri…
A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19 (Corona-virus) tests
Tomer Cohen, Lior Finkelman, Gal Grimberg +4
We show that combining a prediction model (based on neural networks), with a new method of test pooling (better than the original Dorfman method, and better than double-pooling) ca…
The impact of Entropy and Solution Density on selected SAT heuristics
Dor Cohen, Ofer Strichman
In a recent article [Oh'15], Oh examined the impact of various key heuristics (e.g., deletion strategy, restart policy, decay factor, database reduction) in competitive SAT solvers…