|
|
||||||||||||||||||||||||||||||||
Control flow abstraction of process_poll() |
Promela model of process_poll() |
Promela model for process_poll()
×
https://people.iut.ac.ir/en/mahmoudzadeh/promela-model-processpoll?view=qrcode