-
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
-
parallel experimental work providing test data for comprehensive model verification. - Enhance the model's accuracy by implementing improvements in key areas such as residual stress calculations, stochastic
Searches related to verification
Enter an email to receive alerts for verification positions