机译:数值程序的形式验证:从C注释程序到机械证明
机译:数值程序的形式验证:从C注释程序到机械证明
机译:对分布式编程语言的编程逻辑的形式验证
机译:正式验证可编程的超曲面
机译:通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
机译:COVID-19对巴基斯坦外科住院计划的影响;居民的观点。程序是否需要进行正式的结构调整以适应新常态?横断面调查研究
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证