首页 流程图 详情

技术路线

2022-01-04 00:47:43 30 举报
技术路线
为你推荐
查看更多
论文技术路线
论文技术路线
论文技术路线
论文技术路线
技术路线
技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
论文技术路线
开题
产品设计
时间轴
作者其他创作
大纲/内容
Java PathFinder
<t>M1<P>
满足
不满足反例为c
等价查询
true
trace  t
性质P
true反例 t
false反例c
false反例 t
成员查询
.class文件
AG-NC规则
<true>M2<A>
false
根据成员查询的结果及等价查询返回的反例启发式地精化A
L*
Teacher
组件M2
标记迁移系统
组件M1
<A>M1<P>
评论
0 条评论
回复 删除
取消
回复
下一页