A Criterion for Invariant Measures of Markov Processes

Using the martingale formulation for Markov processes introduced by Stroock and Varadhan, we develop a criterion for checking if a measure happens to be invariant.