Caminho Exequível

Um caminho para o qual existe um conjunto de valores de entrada e pré-condições que levam à sua execução.