| <assertions> |
| <assertion id="1" tag="pt:SEM"> |
| Using semaphore to protect critical section |
| </assertion> |
| <assertion id="2" tag="pt:SEM"> |
| Using semaphore to implement producer and consumer mechanism |
| </assertion> |
| <assertion id="3" tag="pt:SEM"> |
| Using semaphore to implement reader and writer problem |
| </assertion> |
| <assertion id="4" tag="pt:SEM"> |
| Using semaphore to implement philosopher problem |
| </assertion> |
| <assertion id="5" tag="pt:SEM"> |
| Using semaphore to implement sleeping Barber problem |
| </assertion> |
| </assertions> |