The top documents tagged [use of model checkers]