OneLineSummary This project aims at building the basic tools for using Actor-based models in order to perform model-based testing of asynchronous systems.
From CERES
A list of all pages that have property "OneLineSummary" with value "This project aims at building the basic tools for using Actor-based models in order to perform model-based testing of asynchronous systems."