A verification tool for Weighted Kripke Structures