The source code for the SALMA toolkit, including some examples, can be retrieved from GitHub: https://github.com/salmatoolkit/salma
C. Kroiß, "A statistical model checker for situation calculus based multiagent models (extended abstract)," in 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), 2014, pp. 1567-1568.
C. Kroiß, "Simulation and statistical model checking of logic-based multi-agent system models," in 8th International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2014), 2014, pp. 151-160.