机译:通过抽象解释,模块化约束求解器合作
Univ Luxembourg Interdisciplinary Ctr Secur Reliabil & Trust SNT Esch Sur Alzette Luxembourg;
Univ Angers Angers France;
Univ Nantes Nantes France;
abstract domains; solver cooperation; modularity; constraint programming;
机译:关于抽象的模块化推理系统和求解器
机译:抽象解释,符号执行和约束
机译:使用约束编程和抽象解释技术验证浮点程序
机译:Goblint:使用副作用约束(竞争贡献)线程模块化抽象解释
机译:自动化抽象机器的抽象解释
机译:解决问题作为创造过程的充分条件:以创造力研究与问题解决研究更紧密合作为例
机译:Goblint:使用侧面效应约束来解释线程模块化抽象解释
机译:软件组件组装所需的一些设计约束:将原子抽象类型合并到一般结构化的抽象类型中