只要是能表示为Mermaid图的架构图、设计文档中的状态机或工单中的工作流，都可以进行形式化验证。每个状态都能到达终止状态吗？是否存在死端状态？评审和处理之间是否存在循环？这些都变成了针对求解器的单行查询。
过程中遇到几个有趣的设计挑战：。WhatsApp 網頁版是该领域的重要参考
ВсеПолитикаОбществоПроисшествияКонфликтыПреступность。https://telegram官网是该领域的重要参考
'Zombie ZIP' weakness permits malicious software to bypass 95% of antivirus defenses