Formally Verifying Interactive Systems: A Review-Reference-Cited by-同舟云学术

Formally Verifying Interactive Systems: A Review

Published:1997 Issue: Volume: Page:109-124
ISSN:0946-2767
Container-title:Eurographics
language:
Short-container-title:

Author:

Campos José C.,Harrison Michael D.

Publisher

Springer Vienna

Link

http://link.springer.com/content/pdf/10.1007/978-3-7091-6878-3_8.pdf

Reference26 articles.

1. Gregory D. Abowd, Hung-Ming Wang, and Andrew F. Monk. A formal technique for automated dialogue development. In Proceedings of the First Symposium of Designing Interactive Systems - DIS’95, pages 219 – 226. ACM Press, August 1995.

2. F. Bodart and J. Vanderdonckt, editors. Design, Specification and Verification of Interactive Systems ’96, Springer Computer Science. Springer-Verlag/Vien, June 1996.

3. Peter Bumbulis, P. S. C. Alencar, D. D. Cowan, and C. J. P. Lucena. Validating properties of component-based graphical user interfaces. In Bodart and Vanderdonckt [2], pages 347–365.

4. J. R. Burch, E. M. Clarke, and K. L. McMillan. Symbolic model checking: 1020 states and beyond. In L/CS, 1990.

5. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8 (2): 244 – 263, April 1986.

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

1. A Type System for Flexible User Interactions Handling;Proceedings of the ACM on Human-Computer Interaction;2024-06-17

2. Computers as Interactive Machines: Can We Build an Explanatory Abstraction?;Minds and Machines;2023-03

3. Examples of the Application of Formal Methods to Interactive Systems;Lecture Notes in Computer Science;2020

4. MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems;Human-Centered Software Engineering;2018-12-31

5. State of the Art on Formal Methods for Interactive Systems;Human–Computer Interaction Series;2017