news
| Apr 06, 2025 | Nice to have our paper Unleash the Hidden Power of CAR-based Model Checking through Dynamic Traversal accepted for publication in TASE’25. Thanks to all the collaborators! See you in Cyprus!   |
|---|---|
| Mar 26, 2025 | I’m serving as the Artifact Evaluation PC for CAV’25! |
| Mar 25, 2025 | Nice to have our paper Accelerating CAR-based Model-Checking with Multiple Unsatisfiable Cores accepted for publication in SPIN’25. Thanks to all the collaborators! See you in Canada! |
| Mar 08, 2025 | Nice to have our paper Revisiting Assumptions Ordering in CAR-Based Model Checking accepted for publication in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems! Thanks to all the collaborators! |