图论 图论。这个发展提供了有向图的形式化，支持（标记）多边和无限图。如果不需要多个边，多态边类型允许将边视为顶点对。形式化的性质是i.a.游动（及相关概念）、连通性和子图以及同构的基本性质。这种形式化被用来证明Euler轨迹、最短路径和Kuratowski子图的特征。 此软件的关键字 这里的任何内容都将在支持canvas元素的浏览器上被替换 伊莎贝尔 图论 图形变换 象征性执行 VCC公司 控制流图 软件验证 欧拉 S反射 形式验证 自动代码验证 验证计算 少数的 验证算法 可口可乐 树宽 同构 荷兰语 塞加尔 库拉托夫斯基 交互定理证明 可行路径 示踪剂 zbMATH参考文献（参考 4篇文章 参考） 显示第1到第4个结果，共4个。 是的按年份排序(引用) 10 20 50 全部的 Doczkal，Christian；Pous，Damien:Coq中的图论：未成年人，treewidth和同构（2020） 艾斯萨，罗曼；沃辛，弗里德里克；沃尔夫，伯克哈特：用符号执行技术消除不可行路径。路径正确性和保存证明（2016） 诺斯钦斯基，拉尔斯：伊莎贝尔的图形库（2015） Alkassar，Eyad；Böhme，Sascha；Mehlhorn，Kurt；Rizkallah，Christine:认证计算验证框架（2014）
