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...