Searching for "Testing for Unboundedness of FIFO Channels." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
On-the-fly Verification of Finite Transition Systems
- … . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 4.3 Testing for unboundedness of fifo channels . . . . . . . . . . . 22 5 Conclusion…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 1.
