3 ms·Interesting, have you also looked at other formal methods, like Abstract Interpretation?by oulipo2 4mo agoInteresting, have you also looked at other formal methods, like Abstract Interpretation?