Faculty of Informatics Masaryk University Brno Czech Republic;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:基于SMT的象征自动机
机译:具有保护术语的符号状态空间缩减,可重写SMT模
机译:使用SMT(竞争贡献)扩展名为符号验证
机译:用于RTL验证中的SMT求解器的多线程加速度
机译:亚里士多德的背离理论和当代象征性互动学者奖学金:从过去学习扩展现在和参与未来
机译:使用重写Modulo SMT符号规范和验证数据感知BPMN进程