In the attached system, the property 'A<> Process.b' is false. UPPAAL 3.6 claims that it is satisfied. UPPAAL 3.4.11 gives the correct answer.
The problem seems to be in the deadlock check performed by the liveness checker: An optimisation introduced in 3.6 has the effect that the target invariant in some cases is ignored.
Created attachment 101 [details]
Test case in XTA format
Created attachment 102 [details]
Query file for test case
Fixed on the trunk from rev. 1799.