Comment by ryao

I thought abstraction interpretation on the level that astree claims to implement is supposed to be extremely hard, which is why almost nobody else tries to do it. I only know of two that try:

http://kestreltechnology.com/technology.html

https://github.com/NASA-SW-VnV/ikos