Formal verification of concurrent and distributed constraint-based Java programs | IEEE Conference Publication | IEEE Xplore