Find out more about this
Gesmer Updegrove has represented more than 184 standards consortia and open source foundations, including:
View Full Client List
Useful Links

Press Center Sitemap

Tools

Text Size:
Default  Large

RSS Feeds

Bookmark and Share

Standards <Meta>Library


Theory and Practice

General/Other

(Select a New Topic or Category)


Title: "Should We Begin a Standardization Processfor Interface Logics?"
Authors: Matt Kaufmann Computational Logic Inc.
J Strother Moore Computational Logic Inc.
Publication Date: January 15 1992
Free/Fee: Free Access
Reads: 5433
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