Ny teknik för kontroll av system
Datorprogram används i dag för att kontrollera system inom många områden, till exempel i styrsystem för tåg och flygplan. I sin avhandling presenterar Marcus Nilsson en ny automatisk teknik för att verifiera sådana datorprogram. Avhandlingen läggs fram vid Uppsala universitet den 2 mars. Marcus Nilsson Regular Model Checking ISBN: 91-554-6137-9 Abstract Datorprogram som används för att ko