实体 SEMBridge

SEMBridge

PulseAugur coverage of SEMBridge — every cluster mentioning SEMBridge across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_65469 · Jun 2 · 04:00

SEMBridge框架为验证生成程序语义

研究人员开发了SEMBridge，一个新颖的程序语义框架，可以从单个可执行目标程序生成最弱前置条件和有界检查解释。这种方法避免了对不同语义解释进行单独遍历的需要。该框架的Python原型成功地为命令式程序生成了可执行状态转换器和验证条件，并在多达729个状态的域上通过了有界检查。