Language-Based Verification Will Change the World

Generations have passed since the early days of verification and formal methods, and one could be excused for thinking that the at-times acrimonious debate is over: Formal methods can provide strong guarantees about the functional correctness of software, some might concede, but they are too costly for mainstream use. If used at all, it will only be for the most safety-critical (and small) components of systems. Thus, they will have no real impact on the never-ending crisis of software, which researchers have grown so accustomed to that entire fields are premised on its insolvability.

Provided by: Association for Computing Machinery Topic: Software Date Added: Nov 2010 Format: PDF

Find By Topic