Modeling and Testing Multi-Threaded Asynchronous Systems with Creol

B. Aichernig, A. Griesmayer, R. Schlatte, and A. Stam

Abstract:

Reference: B. Aichernig, A. Griesmayer, R. Schlatte, and A. Stam. Modeling and testing multi-threaded asynchronous systems with creol. Electron. Notes Theor. Comput. Sci., 243:3-14, 2009.