alt Hacker NewsThis 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.
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.