Sort by
Refine Your Search
-
developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions