L'alternativa c'è. Ma location.href dovrebbe comunque funzionare!!
In ogni caso, per completezza…:

codice:
if(nomeform.nomesegno.checked) { location.assign("prova.html"); }
oppure, se vuoi che il browser "si dimentichi" della pagina precedente una volta reindirizzato:

codice:
if(nomeform.nomesegno.checked) { location.replace("prova.html"); }