Wikipedia
VOACAP
VOACAP (Voice of America Coverage Analysis Program) is a radio propagation model that uses empirical data to predict the point-to-point path loss and coverage of a given transceiver if given as inputs: two antennas (configuration and position), solar weather, and time/date. Written in Fortran it was originally designed for Voice of America.
Some movies on the coverage during daytime can be found here.