browser-engine

Bez：从规范和测试生成浏览器引擎

Bez项目通过将形式化规范和测试翻译成可执行代码来生成浏览器引擎，旨在创建一个高度精确和可验证的引擎，相比传统开发方法具有精确性、可验证性和模块化等优势。