Tekstiviesti: Model checking software