MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "David Greve" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 23 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Separation Kernel Formal Security Policy  
  • by David Greve, M. Wilding, Rockwell Collins — 2003
  • …this paper a security property that we believe has both these desired properties. We are currently demonstrating that the security can be proved byshowing that it holds of a system under development. The goal of this paper is to show that the security policy can be used, which we demonstrate two way…
  • Cited by 15 (2 self) – Add To MetaCart
  • A summary of intrinsic partitioning verification  
  • by David Greve, Raymond Richards, Matthew Wilding — 2004 — In In Proceedings of the Fifth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2
  • …A Summary of Intrinsic Partitioning Verification David Greve, Raymond Richards, Matthew Wilding…
  • Cited by 15 (3 self) – Add To MetaCart
  • Using MBE to Speed a Verified Graph Pathfinder  
  • by David Greve, Matthew Wilding, Rockwell Collins, Rockwell Collins — 2003 — In Proceedings of the Fourth International Workshop on the ACL2 Theorem Prover and its Applications
  • …Rockwell Collins Using MBE to Speed a Verified Graph Pathfinder David Greve and Matthew Wilding…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB