Autonomiczne samochody, rozruszniki serca, a w przyszłości nawet nanourządzenia aplikowane do krwioobiegu - od prawidłowego działania takich maszyn może zależeć ludzkie życie. Trzeba więc jak najskuteczniej weryfikować, czy poprawnie działają. To spore wyzwanie - mówi PAP informatyk prof. Marta Kwiatkowska z Oksfordu.