Portland State University, Portland, OR 97207-0751, USA,Mission Critical Technologies, Inc. / NASA Ames Research Center, Moffett Field, CA 94035, USA;
Stinger Ghaffarian Technologies, Inc. / NASA Ames Research Center, Moffett Field, CA 94035, USA;
model-based testing; program verification; automated theorem proving; property-based testing; constraint solving;
机译:在程序验证中测试一阶逻辑公理的框架
机译:在程序验证中测试一阶逻辑公理的框架
机译:通过概率逻辑编程学习效果公理
机译:在程序验证中测试一阶逻辑公理
机译:机器学习在数字逻辑电路设计验证和测试中的应用
机译:在断言的回归测试程序中在测试用例优先级中使用模糊逻辑
机译:在程序验证中测试一阶逻辑公理