Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
Paper
Getting the best from formal methods
Abstract
This paper reviews the progress made in the use of formal methods in the last 15 years and suggests some reasons for the failure of formal methods in places where they promised to be most effective. It proposes a way in which formal methods can nevertheless be infiltrated into software development activities with beneficial results.
Related
Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Conference paper
Performance measurement and data base design
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975
Thomas M. Cover
IEEE Trans. Inf. Theory