Because the number of state where a program can be is so huge (when you consider...

gls2ro 7 months ago | parent | context | favorite | on: AI will make formal verification go mainstream

Because the number of state where a program can be is so huge (when you consider everything that can influence how a program runs and the context where and when it runs) it is for the current computation power practically infinite but yes it is theoretically finite and can even be calculated.