For anyone interested in elegant implementations of state of the art algorithms for verification, there is a nice library in Jax:

https://deepmind.com/research/open-source/efficient-and-tigh...