Free Alpha från sex månader sedan TIRED: Nedskrivningsspecifikationer och genererande tester WIRED: formella metoder