机译:使用符号执行对并发系统进行交互式验证
Lehrstuhl fuer Softwaretechnik und Programmiersprachen, Universitaet Augsburg, D-86135 Augsburg, Germany;
rnLehrstuhl fuer Softwaretechnik und Programmiersprachen, Universitaet Augsburg, D-86135 Augsburg, Germany;
rnLehrstuhl fuer Softwaretechnik und Programmiersprachen, Universitaet Augsburg, D-86135 Augsburg, Germany;
rnLehrstuhl fuer Softwaretechnik und Programmiersprachen, Universitaet Augsburg, D-86135 Augsburg, Germany;
rnLehrstuhl fuer Softwaretechnik und Programmiersprachen, Universitaet Augsburg, D-86135 Augsburg, Germany;
temporal logic; interactive verification; compositional reasoning; theorem prover;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:用符号执行验证并发系统
机译:使用规则导向的符号执行来验证系统规则
机译:带有空间挤压的空间并发约束系统的重写模SMT符号执行和可达性分析
机译:计算可改善交互式符号执行。
机译:用于交互式医疗IT系统验证的模型检查
机译:使用符号执行的并发系统的交互式验证