Preprint
Sep 2026
MightyPPL : Towards model checking MTL
An upgraded version of MIghtyPPL is introduced that enables for the first time, the model checking of Metric Temporal Logic properties of the form (whenever an event p occurs, it is eventually followed by some event q after exactly some k time units) in addition to Pnueli and Past modalities.
Hsi-Ming Ho, S. Krishna, Khushraj Madnani et al.
· 0 citations