O strlen devolve qual o tamanho da palavra, mas não conta o \0, como vc precisa do espaço para o \0 você realmente tem que somar 1.
12 não tem algum significado cabalístico em ansi C além do acesso a uma posição inválida da memória. Pode parecer estranho que com 13 funcione, mas existe uma estrutura por trás.
Note que não há segfault porque você não saiu da memória do programa.
Fórum