Should We Begin a Standardization Processfor Interface Logics?

Matt Kaufmann, Computational Logic Inc., and J Strother Moore, Computational Logic Inc.

6/20/2008
(Original Publish Date: 1/15/1992)

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.