A verification method that certifies an agent's reliability on specific transitions rather than universally.