"A napokban sajnos újabb számítástechnikai legendát vesztettünk el a koronavírus-járvány miatt. 75 éves korában ugyanis meghalt Edmund M. Clarke, az ún. modellellenőrzés úttörője, akinek munkássága kulcsfontosságú jelentőséggel bír napjainkban is a hardverek és szoftverek formális tesztelésére használt megoldásokban."
Meghalt koronavírus-fertőzésben a formális szoftver- és hardvertesztelés úttörője.
Nyugodjon békében!
