This reminds me of the husband-wife duo of Patrick and Radhia Cousot, who together created Abstract Interpretation [1]. Useful technique, learned about it in my

This reminds me of the husband-wife duo of Patrick and Radhia Cousot, who together created Abstract Interpretation [1]. Useful technique, learned about it in my formal verification class. [1] https://en.wikipedia.org/wiki/Abstract_interpretation https://en.wikipedia.org/wiki/Abstract_interpretation