From Church and Prior to PSL-Reference-Cited by-同舟云学术

From Church and Prior to PSL

Published: Issue: Volume: Page:150-171
ISSN:0302-9743
Container-title:25 Years of Model Checking
language:
Short-container-title:

Author:

Vardi Moshe Y.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69850-0_10.pdf

Reference134 articles.

1. Aggarwal, S., Kurshan, R.P.: Automated implementation from formal specification. In: Proc. 4th Int’l Workshop on Protocol Specification, Testing and Verification, pp. 127–136. North-Holland (1984)

2. Aggarwal, S., Kurshan, R.P., Sharma, D.: A language for the specification and analysis of protocols. In: Proc. 3rd Int’l Workshop on Protocol Specification, Testing, and Verification, pp. 35–50. North-Holland (1983)

3. Apt, K., Olderog, E.R.: Verification of Sequential and Concurrent Programs. Springer (2006)

4. Lecture Notes in Computer Science;R. Armoni,2003

5. Lecture Notes in Computer Science;R. Armoni,2002

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Can't Believe It Went By So Fast;Annual Review of Linguistics;2024-01-16

2. Bounded model checking distributed temporal logic;Journal of Logic and Computation;2022-06-27

3. Finite Quantified Linear Temporal Logic and Its Satisfiability Checking;Communications in Computer and Information Science;2022

4. A survey of challenges for runtime verification from advanced application domains (beyond software);Formal Methods in System Design;2019-11

5. Almost event-rate independent monitoring;Formal Methods in System Design;2019-02-06