1![Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be](https://www.pdfsearch.io/img/ceeeb6f6614491763189db6d7e3d38e0.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-07-20 03:24:48
|
---|
2![The Gradual Verifier Stephan Arlt1? , Cindy Rubio-Gonz´alez2 , Philipp R¨ ummer3?? , Martin Sch¨af4 , 4? ? ? and Natarajan Shankar 1 The Gradual Verifier Stephan Arlt1? , Cindy Rubio-Gonz´alez2 , Philipp R¨ ummer3?? , Martin Sch¨af4 , 4? ? ? and Natarajan Shankar 1](https://www.pdfsearch.io/img/75f59cccf8a4503d1682fb0f342cbe82.jpg) | Add to Reading ListSource URL: www.csl.sri.comLanguage: English - Date: 2014-02-10 21:42:15
|
---|
3![Markov Logic Networks in Health Informatics Shalini Ghosh, Natarajan Shankar, Sam Owre, Sean David∗, Gary Swan, Patrick Lincoln SRI International, Menlo Park, CA Abstract e.g., classification or regression trees, are Markov Logic Networks in Health Informatics Shalini Ghosh, Natarajan Shankar, Sam Owre, Sean David∗, Gary Swan, Patrick Lincoln SRI International, Menlo Park, CA Abstract e.g., classification or regression trees, are](https://www.pdfsearch.io/img/1266df5a496bb44ef42e4759f3f45d2e.jpg) | Add to Reading ListSource URL: www.csl.sri.comLanguage: English - Date: 2011-06-28 02:08:27
|
---|
4![The 1st Verified Software Competition: Experience Report Vladimir Klebanov, Peter M¨ uller, Natarajan Shankar, Gary T. Leavens, Valentin W¨ ustholz, Eyad Alkassar, Rob Arthan, Derek Bronish, The 1st Verified Software Competition: Experience Report Vladimir Klebanov, Peter M¨ uller, Natarajan Shankar, Gary T. Leavens, Valentin W¨ ustholz, Eyad Alkassar, Rob Arthan, Derek Bronish,](https://www.pdfsearch.io/img/dd4d8bd3f6bf2b683274252264931759.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English |
---|
5![Machine Reading Using Markov Logic Networks for Collective Probabilistic Inference Shalini Ghosh, Natarajan Shankar, Sam Owre Computer Sciences Laboratory, SRI International Abstract. DARPA’s Machine Reading project i Machine Reading Using Markov Logic Networks for Collective Probabilistic Inference Shalini Ghosh, Natarajan Shankar, Sam Owre Computer Sciences Laboratory, SRI International Abstract. DARPA’s Machine Reading project i](https://www.pdfsearch.io/img/b85289c38bf4fa24d87b630a6793aec8.jpg) | Add to Reading ListSource URL: www.csl.sri.comLanguage: English - Date: 2013-07-21 01:47:08
|
---|
6![Presented at the National Security Agency’s third High Confidence Software and Systems Conference, Baltimore MD, April 2003 Introducing Cyberlogic? Harald Rueß and Natarajan Shankar Computer Science Laboratory Presented at the National Security Agency’s third High Confidence Software and Systems Conference, Baltimore MD, April 2003 Introducing Cyberlogic? Harald Rueß and Natarajan Shankar Computer Science Laboratory](https://www.pdfsearch.io/img/00d2ff2b216a9987a88ceacdc9db3582.jpg) | Add to Reading ListSource URL: www.csl.sri.comLanguage: English - Date: 2015-04-22 13:40:33
|
---|
7![Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan](https://www.pdfsearch.io/img/bf681eeef3be5b4d37737f9c9c1ef155.jpg) | Add to Reading ListSource URL: stijnheymans.netLanguage: English - Date: 2015-12-05 16:07:35
|
---|
8![Integrating Verification Components? Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CAUSA Integrating Verification Components? Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CAUSA](https://www.pdfsearch.io/img/5c66beadab5a2364bddc2edc4f3b2afa.jpg) | Add to Reading ListSource URL: vstte.ethz.chLanguage: English - Date: 2005-10-11 03:37:04
|
---|
9![AFM’07: Second Workshop on Automated Formal Methods November 6, 2007 Atlanta, Georgia John Rushby and Natarajan Shankar (Editors) SRI International AFM’07: Second Workshop on Automated Formal Methods November 6, 2007 Atlanta, Georgia John Rushby and Natarajan Shankar (Editors) SRI International](https://www.pdfsearch.io/img/3f57ababcbeb66474e12121db7061f55.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2007-10-28 17:34:19
|
---|
10![Software Engineering and Automated Deduction Willem Visser Nikolaj Bjørner Natarajan Shankar Software Engineering and Automated Deduction Willem Visser Nikolaj Bjørner Natarajan Shankar](https://www.pdfsearch.io/img/0511c5f0d5e0849ac39af51c2af0dcc7.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2014-05-07 12:02:12
|
---|