Author:
Bjørner Nikolaj,Browne Anca,Chang Eddie,Colón Michael,Kapur Arjun,Manna Zohar,Sipma Henny B.,Uribe Tomás E.
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Bjørner, N., Browne, A., Chang, E., Colón, M., Kapur, A., Manna, Z., Sipma, H., and Uribe, T. STeP: The Stanford Temporal Prover, User's Manual. Tech. Rep. STAN-CS-TR-95-1562, Computer Science Department, Stanford University, Nov. 1995.
2. Bjørner, N., Browne, A., and Manna, Z. Automatic generation of invariants and intermediate assertions. In 1st Intl. Conf. on Principles and Practice of Constraint Programming (Sept. 1995), vol. 976 of LNCS, Springer-Verlag, pp. 589–623.
3. Browne, A., Manna, Z., and Sipma, H. Generalized verification diagrams. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science (Dec. 1995), vol. 1026 of LNCS, pp. 484–498.
4. Browne, A., Manna, Z., and Sipma, H. Modular verification diagrams. Tech. rep., Computer Science Department, Stanford University, 1996.
5. Heitmeyer, C., and Lynch, N. The generalized railroad crossing: A case study in formal verification of real-time systems. In Proc. ICCC Real-Time Systems Symposium (1994), IEEE Press, pp. 120–131.
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献