Full threadoulipo2·Interesting, have you also looked at other formal methods, like Abstract Interpretation?View on HN