Proved

Evidence provided by electrical or other means that a function is in a
specified state.