Hvilket værktøj er Kim Guldstrand Larsen kendt for at have udviklet? 


Kim Guldstrand Larsen er hovedaktør bag det prisvindende værktøj UPPAAL, der er et af de mest udbredte værktøjer til verifikation af realtidsmodeller.
Branden betød, at Rigsdagen nu havde mistet sit hjemsted. Det var kun tre dage før rigsdagsåbningen, som også dengang skulle finde sted den første tirsdag i oktober. Det klarede man ved at holde åbningsmøde i universitetets festsal. Derefter flyttede man midlertidigt ind i en kasernebygning i Fredericiagade, som i dag huser Østre Landsret. Her forblev de til 1918, hvorefter man flyttede tilbage til det genopførte Christiansborg.