The list of supported ModelSim versions are not exclusive. Other versions of ModelSim SE/PE/DE are likely to be compatible, but there is no guarantee.
When new ModelSim versions come out, most of them are compatible with HDL Verifier. They are not listed here since they have now been fully tested with HDL Verifier yet. In some rare cases, the new ModelSim version contains changed API that breaks the compatibility. When that happens, the problem will be fixed in newer version of HDL Verifier or via a patch.
For your last question, you can do cross-network cosimulation with Simulink running on Windows and ModelSim running on Linux. See HDL Verifier documentation here: http://www.mathworks.com/help/hdlverifier/ug/startup-procedures-for-hdl-cosimulation.html#bst4x6q-1
