...
机译:集成演绎验证和符号执行以在动态逻辑中创建抽象对象
CWI, Amsterdam, Netherlands|SDL Fredhopper, Amsterdam, Netherlands;
CWI, Amsterdam, Netherlands|Leiden Univ, Amsterdam, Netherlands;
Chalmers, Gothenburg, Sweden;
Tech Univ Darmstadt, Dept Comp Sci, Darmstadt, Germany;
Specification; Verification; Program logic; Dynamic logic; Object creation;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:将符号执行集成到基于形式的抽象状态机的语言中
机译:将符号执行集成到基于形式的抽象状态机的语言中
机译:使用动态符号执行改善演绎验证
机译:EPISTAXIS:使用演绎检索和符号执行的句法和语义软件查询系统
机译:人体感觉皮层中双手整合的时空动力学及其与双手物体操纵的相关性
机译:集成演绎验证和符号执行以在动态逻辑中创建抽象对象