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