Automated in-browser verification of Erlang B, Erlang C, Service Level, ASA, Occupancy, and Shrinkage solvers.