Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
A Brief Introduction To Formal Methods, Paul E. Black, Kelly M. Hall, Michael D. Jones, Trent N. Larson, Phillip J. Windley
A Brief Introduction To Formal Methods, Paul E. Black, Kelly M. Hall, Michael D. Jones, Trent N. Larson, Phillip J. Windley
Faculty Publications
As hardware designs grow in size and complexity, current design methods are proving less adequate. Current methods for specification, design, and test are typically empirical or informal, that is, they are based on experience and argument. Formal methods are solidly based on mathematical logic systems and precise rules of inference. Formal methods offer a discipline which complements current methods so designers can successfully meet the demand for high performance systems. Formal methods covers a broad and diverse set of techniques aimed at improving computer correctness. This paper explains the role of specifications and implementation models in formal methods, and different …