Comment by UncleMeat

Static type checking is abstract interpretation. If you program in Java you are using formal methods.