Skip to primary content
ConsortiumInfo.org
Search
Sponsored by Gesmer Updegrove
  • Blog
  • About
  • Guide
  • SSO List
  • Meta Library
  • Newsletter
meta library

Should We Begin a Standardization Processfor Interface Logics?

Title
Should We Begin a Standardization Processfor Interface Logics?
Author
Matt Kaufmann, Computational Logic Inc., and J Strother Moore, Computational Logic Inc.
Date
6/20/2008
(Original Publish Date: 1/15/1992)
Abstract
The author's basic position is that any standardization process is expensive, and given the limited manpower available for theorem proving and system verification, it is premature to consider standardization of interface logics. Moreover, they believe that it is likely to remain premature for awhile, if not indefinitely, for reasons we explain in this paper. More generally speaking, their position is that real progress in mechanically-assisted systems verification comes, and will continue to come, from the development and application of particular tools and logics for those tools.
Link
Full Text (PDF)
Technical Areas
  • By Technical Area
  • Economics
  • General/Other
  • General/Other
  • General/Other
  • General/Other
  • Information Technology
  • Participation
  • Process of Standard Setting
  • Strategy
  • Theory and Practice
  • Value Proposition
Gesmer Updegrove
  • Terms of Use and Privacy Policy
  • Contact
  • Sitemap