By Domain Theory, I mean the use of CPOs (or related topological/order-theoretic structures) to study the denotational semantics of programming languages.
Compared to the two other common approaches to formal methods (operational and axiomatic semantics), where one might point to things like formal proof assistants, dependently-typed programming languages, refinement types, I have yet to meet a practical tool which has been developed using the tools of denotational semantics designed to formally verify real-world programs. Or, at least it seems that way on the surface.
So are they any practical formal verification tools which have benefited, either directly or indirectly, from the research into domain theory/deonotational semantics? If not, have there at least been particular software projects where the use of domain theory has helped with the process of formal verification, even if it didn't result in a general software development tool?