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