Actario : A Framework for Reasoning About Actor Systems
Verdi: a framework for implementing and formally verifying distributed systems