The top documents tagged [standard model checkers]