John Rushby - PDFSEARCH.IO - Document Search Engine

John Rushby
Results: 8

#	Item
1	Science of Security Meeting, Berkeley CA, 17, 18 Nov 2008 Security and Composition John Rushby Computer Science Laboratory Add to Reading List Source URL: sos.cs.virginia.edu Language: English - Date: 2008-11-19 23:30:14
2	MILS Research and Development: Accomplishments and Ongoing Work Rance DeLong∗ November 15, 2011 Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:31 Multilevel security John Rushby Lynx Software Technologies Milliradian Mill Assurance services Computing Software Technology
3	Integrating Verification Components? Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:04
4	Automated Test Generation And Verified Software ? John Rushby Computer Science Laboratory SRI International 333 Ravenswood Avenue Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:10
5	AFM’07: Second Workshop on Automated Formal Methods November 6, 2007 Atlanta, Georgia John Rushby and Natarajan Shankar (Editors) SRI International Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2007-10-28 17:34:19 Information Database theory Database management systems Data model Entity-relationship model Database schema EXPRESS Integrity constraints Database design Data management Data modeling Data
6	Phone Book Example John Rushby Computer Science Laboratory SRI International Menlo Park CA USA Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2013-04-22 13:35:18 Type theory Function Axiom Mathematics Logic Mathematical logic
7	Automated Test Generation And Verified Software ? John Rushby Computer Science Laboratory SRI International 333 Ravenswood Avenue Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-10-05 05:25:44 Software verification Formal verification Model checking Formal methods Software development process Verification and validation Reliability engineering Unit testing Test-driven development Software testing Software development Software
8	PDF Document Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:04 Mathematics Metalogic Logic in computer science Electronic design automation NP-complete problems Automated theorem proving Satisfiability Modulo Theories John Rushby Model checking Theoretical computer science Formal methods Logic