Sort by
Refine Your Search
-
post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory
Searches related to software verification
Enter an email to receive alerts for software-verification positions