The village telephone system: A case study in formal software engineering-Reference-Cited by-同舟云学术

The village telephone system: A case study in formal software engineering

Published:1998 Issue: Volume: Page:49-66
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bhargavan Karthikeyan,Gunter Carl A.,Gunter Elsa L.,Jackson Michael,Obradovic Davor,Zave Pamela

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0055129

Reference7 articles.

1. R. Alur and T.A. Henzinger. Reactive modules. In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, pages 207–218, 1996.

2. R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran. Mocha: Modularity in Model Checking. To appear in the Conference on Computer Aided Verification, 1998.

3. Marco Defillers, David Griffioen, and Olaf Müller. Possibly infinite sequences in theorem provers: A comparative study. In Lecture Notes in Computer Science 1275: Proceedings of the 10th International Conference, TPHOLs '97. Springer, 1997.

4. Carl A. Gunter, Elsa L. Gunter, Michael Jackson, and Pamela Zave. A reference model for requirements and specifications. Available by request, 1998.

5. Michael Jackson and Pamela Zave. Domain descriptions. In Proceedings of the IEEE International Symposium on Requirements Engineering, pages 56–64. IEEE Computer Society Press, 1992.

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

1. Teaching Formal Methods: From Software in the Small to Software in the Large;Formal Methods Teaching;2019

2. Modular refinement of hierarchic reactive machines;ACM Transactions on Programming Languages and Systems;2004-03

3. Formal software engineering;ACM SIGSOFT Software Engineering Notes;2000-01

4. Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving;Lecture Notes in Computer Science;1999

5. A reference model for requirements and specifications - extended abstract;Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)