...
机译:通过结合测试,模型检查和交互式定理证明来验证Haskell程序
Department of Computing Science, Chalmers University of Technology and Goeteborg University, 412 96 Goeteborg, Sweden;
program verification; random testing; proof-assistants; type theory; binary decision diagrams; haskell;
机译:结合模型检验和定理证明来开发和验证嵌入式软件
机译:结合模型检验和定理证明来开发和验证嵌入式软件
机译:结合了HOL定理证明和MDG模型检查的混合验证
机译:通过结合测试和证明来验证Haskell程序
机译:Liquid Haskell:Haskell作为定理证明。
机译:用于交互式医疗IT系统验证的模型检查
机译:通过结合测试和证明来验证Haskell程序
机译:证明检验,定理证明和程序验证。