Conditions without wenn

In formal German a condition can start with the verb instead of wenn: Sollte es regnen, bleiben wir zu Hause. Hätte ich das gewusst, wäre ich gekommen.