Als «formal-methods» getaggte Fragen

eine besondere Art von mathematisch basierter Technik zur Spezifikation, Entwicklung und Verifizierung von Software- und Hardwaresystemen.

20
Weg zu formalen Methoden

Es ist nicht ungewöhnlich, dass Studenten ihre Doktorarbeit mit nur begrenztem Hintergrund in Mathematik und den formalen Aspekten der Informatik beginnen. Offensichtlich wird es für solche Studenten sehr schwierig sein, theoretische Informatiker zu werden, aber es wäre gut, wenn sie es verstehen...