Toestandsdiagrammen zijn oorspronkelijk bedacht als hulpmiddel voor het ontwikkelen van hardware, maar ook voor software worden ze meer en meer gebruikt. In dit artikel beschrijven we hoe je met behulp van toestandsdiagrammen betrouwbare programma's met weinig bugs kunt schrijven.