Seshat, named after the Egyptian goddess of writing (recording) measurements, is a tool that uses execution-driven event simulation to model parallel message passing systems. - View it on GitHub