Tase'25
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! 
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!