E.4 How to Use Promela

Given a source file qrcu.spin, one can use the following commands:



Subsections
Paul E. McKenney 2011-12-16