-
variation in Dutch. You teach Dutch Linguistics I in Kortrijk, formal linguistics in the third Bachelor year in Leuven, and a Master’s course in formal morphology in Leuven. You take an active role in
-
specify their problem in a high-level, human-understandable formal language.This specification is first translated into a low-level specification a solver understands and subsequently solved. Thanks to
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions