Presis modellering og analyse av pålitelige systemer

Forskningsgruppen arbeider med følgende tema:

• objektorienterte og funksjonelle språk
• åpne distribuerte systemer
• spesifikasjon
• verifikasjon
• språk for spesifikasjon og verifikasjon

	Personer tilknyttet gruppen
	Kurs undervist av gruppen
	Hovedoppgaver
	Prosjekter