Being correct is not enough: efficient verification using robust linear temporal logic

Tzanis Anevlavis, Matthew Philippe, Daniel Neider +1

While most approaches in formal methods address system correctness, ensuring robustness has remained a challenge. In this paper we present and study the logic rLTL which provides a…