Miként lehet a mind bonyolultabb szoftverek esetében feltárni a potenciális működési problémákat, illetve a biztonsági réseket? Egyebek mellett erről beszélt akadémiai székfoglaló előadásában Gyimóthy Tibor matematikus, az Magyar Tudományos Akadémia levelező tagja. Az előadáson elhangzott, hogy az informatikai eszközök kapacitása rendkívüli módon m