I gather they are used by some forms of program verification software. Beyond that, I dunno.