...
机译:符号计算和可满足性检查
Univ Bath Fac Sci Bath Avon England;
Coventry Univ Fac Engn Environm & Comp Coventry W Midlands England;
Fdn Bruno Kessler Embedded Syst Unit Trento Italy;
INRIA CNRS Rocquencourt France|Univ Lorraine Nancy France|MPI Informat Saarbrucken Germany|Saarland Univ Saarbrucken Germany;
Univ Iowa Dept Comp Sci Iowa City IA 52242 USA;
Satisfiability checking; Symbolic computation; Community integration;
机译:满意度检查和符号计算
机译:使用可满足性作为唯一决策过程的符号模型检查中的抽象优化
机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:SC〜2:满意度检查符合符号计算(项目文件)
机译:在符号模型检查中基于可满足性的抽象优化。
机译:关于符号和非符号计算之间关系的动力学系统观点
机译:SC2:满意度检查符合符号计算
机译:LTL符号可满足性检验的多编码方法