Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

32

ICLA
2009
Springer

favoriteEmaildiscussreport

87views Artificial Intelligence» more ICLA 2009»

From Philosophical to Industrial Logics

14 years 5 months ago

From Philosophical to Industrial Logics

Download www.cs.rice.edu

One of the surprising developments in the area of program veriﬁcation is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Century industrial-standard property-speciﬁcation languages. This development was enabled by the equally unlikely transformation of the mathematical machinery of automata on inﬁnite words, introduced in the early 1960s for second-order logic, into eﬀective algorithms for model-checking tools. This paper attempts to trace the tangled threads of this development. 1 Thread I: Classical Logic of Time

Moshe Y. Vardi

Real-time Traffic

Artificial Intelligence | Century Industrial-standard Property-speciﬁcation | ICLA 2009 | Second-order Logic | Surprising Developments |

claim paper

Related Content

» E W Beth as a philosopher of physics

» Philosophical Foundations of AI

» Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms

» Modal Aspects of Object Types and PartWhole Relations and the de rede dicto Distinction

» From Formal Concept Analysis to Contextual Logic

» A taxonomy of argumentation models used for knowledge representation

» Logic BIST for large industrial designs real issues and case studies

» Computational Templates Neural Network Dynamics and Symbolic Logic

» Experiences from Applying WCET Analysis in Industrial Settings

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	ICLA
Authors	Moshe Y. Vardi

Comments (0)