A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
The Jacco toolset  represents an improvement w.r.t. Basset, and deals with actor programs written in Java. ... Jacco develops a new message scheduling approach which can adapt to standard libraries like Akka, and realizes a more efficient state saving mechanism during state exploration which can speedup model checking ... and temporal assessment of system behavior, and quantitative analysis through statistical model checking, useful for estimating by automated simulation runs probability measures of event occurrence. ...doi:10.13126/unical.it/dottorati/1719 fatcat:m2xdstyp2zblxh4nvsyxx7tcdy