Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software

Marco Carbone

Programming Logic and Semantics
,
Center for Information Security and Trust

Press & media:

Press / Media

Press & Media Information

Media Contribution

Title

Dansk forskningsprojekt skal forbedre fejlfinding i distribueret software

Media name

Version2.dk

Date

2021-05-21

Link

http://mo.infomedia.dk/ShowArticle.aspx?Duid=e8468558&UrlID=f9fe70e3-7807-4d18-9652-9dc31ffa14a5&Link=

Persons

Marco Carbone

Description

Endnu et dansk projekt arbejder med beviselighed i software. Et nyt forskningsprojekt på IT-Universitetet skal udvikle matematiske modeller, der kan være med til at forbedre fejlfinding i programmer...