1 Hit in 5.3 sec

Modelling analysis and implementation of distributed probabilistic timed actors using theatre

Paolo Francesco Sciammarella, Libero Nigro, Domenico Grimaldi
The Jacco toolset [267] 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/ fatcat:m2xdstyp2zblxh4nvsyxx7tcdy