Хочу стать реверс-инженером. Что изучать для этого?
"Хочу стать мастером спорта. Посоветуйте, что почитать".
Формальные семантики, переписывание термов, удовлетворение ограничений (constraint satisfaction problem), солверы (SMT, SAT), темпоральные логики.