All posts tagged in: formal-verification

PHDays VII: lightning: Как доказывать программы