Title: A Formal Framework For Runtime Verification Of Web Applications An Approach Supported By Scopeextended Linear Temporal Logic