-
infection in mouse models and during virus transmission between the mosquito and the mammalian host. The ultimate goal is to identify host genes and mechanisms that drive variations in host-vector
-
instruction sets, knowledge of hardware architecture description languages (HDL) • Formal methods: formal specification language, model-checking environment, SMT solvers, etc. • Experience in terms
Searches related to model checking
Enter an email to receive alerts for model-checking positions