Pålitliga mjukvaror för industrin
Forskningsdisciplinen formell verifikation av programvara handlar om analysmetoder och verktyg som är baserade på matematiska modeller, där användbara tillämpningar nu utvecklats för industrin.
Europeiska forskargrupper samarbetar för att koordinera forskningen inom verifikationsteknologi. Gruppens första vetenskapliga möte är på Chalmers 2-4 juni, där 40 forskare och representanter från mjukvaruindustrin samlas. Mötet finansieras av EU-kommissionen och kallas för COST Action och leds av professor Bernhard Beckert, Universität Koblenz och professor Reiner Hähnle, som leder forskargruppen på Chalmers inom formella metoder.