Ranjit - PDFSEARCH.IO - Document Search Engine

Ranjit
Results: 120

#	Item
21	How to Use Bitcoin to Design Fair Protocols Iddo Bentov∗ Ranjit Kumaresan† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-02-19 15:48:30
22	Refinement Types For Haskell Niki Vazou Eric L. Seidel Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2014-06-11 23:19:29
23	Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala Add to Reading List Source URL: ranjitjhala.github.io Language: English - Date: 2016-01-05 00:35:10
24	Generating Tests from Counterexamples Rupak Majumdar Dirk Beyer Adam J. Chlipala Thomas A. Henzinger Ranjit Jhala Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 07:00:05
25	Liquid Types Patrick Rondon Ming Kawaguchi Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2011-07-10 22:52:54
26	Microarchitecture verification by Compositional Model Checking Ranjit Jhala1? and Kenneth L. McMillan2 1 University of California at Berkeley Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:22
27	CSolve: Verifying C With Liquid Types? Patrick Rondon, Alexander Bakst, Ming Kawaguchi, and Ranjit Jhala University of California, San Diego {prondon, abakst, mwookawa, jhala}@cs.ucsd.edu Abstract. We present CSolve, an Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2012-07-08 13:51:10
28	Low-Level Liquid Types Patrick Rondon Ming Kawaguchi Ranjit Jhala Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2011-07-10 22:52:54
29	A Practical and Complete Approach to Predicate Refinement Ranjit Jhala and K. L. McMillan 1 University of California, San Diego Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:08
30	Interpolant-based Transition Relation Approximation Ranjit Jhala and K. L. McMillan 1 University of California, San Diego Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:04

UPDATE