Stav dette: Verification of sequential and concurrent programs