Run-time verification of web applications

This report summarizes the paper “A formal approach for run-time verification of web applications using scope-extended LTL”.