合 作 者
期刊 & 会议
 
年  份
Ming Kawaguchi 的论文(15) 排序方式:
Towards Modularly Comparing Programs Using Automated Theorem Provers  
Conference on Automated Deduction  2013
0次引用 0 0
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs  
Computer Aided Verification  2012
0次引用 0 0
CSolve: Verifying C with Liquid Types  
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture and interface.......
Computer Aided Verification  2012
0次引用 0 0
Deterministic parallelism via liquid effects  
SIGPLAN Conference on Programming Language Design and Implementation  2012
0次引用 0 0
SymDiff: A language-agnostic semantic diff tool for imperative programs  
In this paper, we describe SymDiff, a language-agnostic tool for equivalence checking and displaying semantic (behavioral) differences over imperative programs. The tool operates at the level of an i......
 2012
0次引用 0 0
Mutual summaries and relative termination  
In this paper, we introduce two concepts for modularly comparing two imperative programs. We formalize (i) it mutual summaries as a contract mechanism for comparing the summaries of two programs, and ......
 2011
0次引用 0 0
Low-level liquid types  
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine re- finement types with three key elements to automate verification of critical ......
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages  2010
3次引用 0 0
Dsolve: Safety Verification via Liquid Types  
We present Dsolve, a verification tool for OCaml. Dsolve automates verification by inferring “Liquid” refinement types that are expressive enough to verify a variety of complex safety properties.......
Computer Aided Verification  2010
0次引用 0 0
Low-level liquid types  
We presentLow-Level Liquid Types, a refinement type system for C based onLiquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verification of critical safe......
Sigplan Notices  2010
6次引用 0 0
Conditional equivalence  
A typical software module evolves through many versions over the course of its development. To maintain compatibility with module clients, it is crucial that a module's behavior at its interface does ......
 2010
4次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜