-
compliance, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions