论文信息 - Basics of Model Checking - 字舞流文

Basics of Model Checking

Yuan Feng | Mingsheng Ying

[1] Amir Pnueli,et al. Checking that finite state concurrent programs satisfy their linear specification , 1985, POPL.

[2] Saharon Shelah,et al. On the temporal analysis of fairness , 1980, POPL '80.

[3] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.