Computer Initial Value Analysis