First, I hope this is ok to post here.
I just finished my PhD Project few months ago, I was busy with the dissertation editing as is the case for many. Now, I have the time to post about that project, that is most relevant to Akka (Akka is actually THE inspiration behind it).
Here is its webpage: DS2 - Distributed Systems Domain Specific Language & Infrastructure
Its repo: Mohammed S. Al-Mahfoudh / ds2 · GitLab
And I can attach my latest unpublished copy of a paper that discusses the two algorithms developed specifically for checking akka actors using improved DPOR space cutting. Just let me know and I will send it.
Please ask me questions, I am aware of the fact that if i did improve the framework a little bit (using scala.meta) I can make symbolic/concolic execution possible too… it also enables stateful (efficiently) backtracking algorithms.
There are few imrpovements planned but I am still a noob in Scala to do them. I want to add a single import statement in order to free the users from having to write the model themselves and to be extracted using macros and implicits for them (from their Akka programs) to be passed to verification algorithms.
Please let me know if you want to be a contributor, things you wish to see, and if i can fix something stupid I did or improve on the way I use scala for achieving this… also any thing you want to see in order to better support Akka.