1
vote
0answers
77 views
+50

Protocol testing - Finite State Machine and test generation

Recently, I've been reading about formal methods of network protocol testing. I needed to make that research for my thesis and basically I've got no hands-on experience on methods described in IEEE ...