'Why use temporal logic for interpolation-based model checking?

I am new in model checking field. I want to know why it's preferred to use linear-time temporal logic properties in interpolation and bounded model checking. Why can't we directly use propositional logic?

logictemporalmodel-checking


Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source

Related Questions