verified a single property in uppaal