Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.

Softw Syst Model · 2019 · PMC6944266 · PMID 31975976

Europe PMC DOI

hedged sentence

—

closest p

—

boldest claim

The sentences

highly significantno p-value reported

There is a highly significant result with a medium effect size magnitude, indicating that PSP provides a higher syntactic correctness than LTL.

also in 132,142 other papers

Quoted from the open-access full text in Europe PMC under the licence the publisher applied. The sentence is reproduced exactly as published; the emphasis is ours.