-
geometries and process-induced defects demand new inspection approaches. The project combines modelling, sensor fabrication, experiment, and data analysis. You will work with a team of experts to develop
-
, or even months to derive a suitable hardware model. This limitation is only exaggerated when considering the digital representation of multicore computer systems, requiring the modelling of a broad range of
-
carried out. Additionally, all aspects of simulation and the underlying creation of network models represent a non-trivial exercise. The learnings of such explorations may be applied through the refinement
Searches related to model checking
Enter an email to receive alerts for model-checking positions