What Good Is Temporal Logic? (1983) [pdf] | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

		What Good Is Temporal Logic? (1983) [pdf] (lamport.azurewebsites.net)
		1 point by michaelsbradley on April 12, 2017 \| hide \| past \| favorite \| 1 comment

michaelsbradley on April 12, 2017 [–]

See also Temporal Logic: The Lesser of Three Evils by the same author:

http://www.cs.nyu.edu/acsys/pnueli/slides/lamport-pnueli.pdf

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact