Example of a Complementary Use of Model Checking and Agent-Based Simulation.

Gabriel Gelman, Karen M. Feigh, John M. Rushby

Browse the full SMC paper archive.