Setac: A Framework for Phased Deterministic Testing of Actor Programs


setac allows testing actors by specifying an order in which messages are delivered and knowing when all actors have processed them so their state can be examined.

Thank you for your interest!

We will contact you as soon as possible.

Send us a message

Oops, something went wrong
Please try again or contact us by email at