Thanks you for writing this article on the contributions of Mike Gordon. I started using HOL4 days before he unfortunately died so I missed the opportunity to know him personally. Your article made me more aware of the lasting and positive impact he made to the field of formal verification. People like him are uncommon these days.
It is extremely unfortunate that computer programmers are mostly ignorant and uninterested in the work of Mike Gordon and other researchers in formal verification. Software is increasingly complex and ridden with programming errors (I do not know how is the situation with hardware). The only real solution is formal specification and verification of systems. Relying on testing alone does not work, as made evident by the continuing existence of security vulnerabilities and “bugfix” updates. On 07/07/18 09:16, Lawrence Paulson wrote: > Colleagues may be interested in my biographical article on Mike Gordon, whose > promotion of higher-order logic has had such a profound impact on our field. > > https://arxiv.org/abs/1806.04002 > > Corrections welcome. > > Larry Paulson > > > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info >
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
