[Author: ]
[Time Published September 11, 2013 at 04:52PM]
[<-- Content] Mark Timmer zal op de Universiteit Twente promoveren op zijn onderzoek naar model checking. Daarbij worden computersystemen gemodelleerd en vervolgens automatisch op fouten gecontroleerd. Dit concept zou bepaalde bugs met wiskundige zekerheid kunnen voorkomen.
[-->]
[Source: Maxim Bange shared items on The Old Reader (RSS) http://tweakers.net/nieuws/91239/onderzoeker-ut-minder-softwarefouten-door-toepassen-van-moderne-kansmodellen.html] | Image URL: http://ifttt.com/images/no_image_card.png]
[Time Published September 11, 2013 at 04:52PM]
[<-- Content] Mark Timmer zal op de Universiteit Twente promoveren op zijn onderzoek naar model checking. Daarbij worden computersystemen gemodelleerd en vervolgens automatisch op fouten gecontroleerd. Dit concept zou bepaalde bugs met wiskundige zekerheid kunnen voorkomen.
[Source: Maxim Bange shared items on The Old Reader (RSS) http://tweakers.net/nieuws/91239/onderzoeker-ut-minder-softwarefouten-door-toepassen-van-moderne-kansmodellen.html] | Image URL: http://ifttt.com/images/no_image_card.png]
Geen opmerkingen:
Een reactie posten