Wyślij wiadomość: Local search in model checking