arXiv:2502.07479v1 Announce Type: 交叉 摘要：WebChecker 是 Epsilon Validation Language (EVL) 的一个插件，设计用于利用 Bootstrap 等框架验证静态和动态 HTML 页面。通过运用可配置的 EVL 约束，WebChecker 强制执行治理 HTML 和 CSS 框架的隐式规则。通过将其应用于广泛采用的 HTML、CSS 和 JavaScript 框架 Bootstrap，展示了该插件的有效性。WebChecker 包含一套用于评估基于 Bootstrap 的网页的 EVL 约束。为了验证我们的主张，我提供了一个示例，展示了两种有效强制执行隐式规则的解决方案。