different results from formal verification and simulation

I wrote an a simple assertion and tried proving it with jasperGold fpv and simVision but they both gave opposite results. Can anyone help ?

assertion  --> clk_property: assert property ( @(posedge clk) disable iff(!rst) 1 |-> clk  );