What is the reason for bounded model checking to use LTL instead of CTL?

Hello, I'm now taking a seminar course and my report topic is model checking. I've done some literature research and figured out that in the original model checking and symbolic checking, they use...

07 February 2023 3,630 0 View