I am writing a B.Sc. thesis in computer science, and I'm hesitating between "in" and "of" in the following phrase:
State of the art in model checking
Should it be:
State of the art of model checking
I'm not sure if it is good language to use so many "of".