Abstract
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Century industrial-standard property-specification languages. This development was enabled by the equally unlikely transformation of the mathematical machinery of automata on infinite words, introduced in the early 1960s for second-order logic, into effective algorithms for model-checking tools. This paper attempts to trace the tangled threads of this development. © 2009 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Vardi, M. Y. (2009). From philosophical to industrial logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5378 LNAI, pp. 89–115). https://doi.org/10.1007/978-3-540-92701-3_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
