We just published version 0.1 of our tool peregrine with new features.
There even is an online demo for you to try out so you can simulate and verify population protocols in your browser!
General
Strix won SYNTCOMP 2019
As in the year before , Strix won this year’s SYNTCOMP competition in the TLSF/LTL Synthesis Track. Furthermore, the techniques used in Strix will be described in detail in an article which is scheduled to Read more…