Sort by
Refine Your Search
-
zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable. Your research will focus
Searches related to model checking
Enter an email to receive alerts for model-checking positions