Orna Grumberg, informática
La informática Orna Grumberg (1952) cumple hoy años. Es conocida por el desarrollo del model checking – verificación de modelos – un método automático de verificación de un sistema formal. Junto a Edmund M. Clarke y Doron A. Peled, es […]
