Author:
Bauer Andreas,Leucker Martin,Streit Jonathan
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Armoni, R., Bustan, D., Kupferman, O., Vardi, M.Y.: Resets vs. aborts in linear temporal logic. In: International Conference on Tools and Algorithms for Construction and Analysis of Systems, pp. 65–80. Springer, Heidelberg (2003)
2. Armoni, R., Fix, L., Flaisher, A., Gerth, R., Ginsburg, B., Kanza, T., Landver, A., Mador-Haim, S., Singerman, E., Tiemeyer, A., Vardi, M.Y., Zbar, Y.: The ForSpec temporal logic: A new temporal property-specification language. In: Tools and Algorithms for Construction and Analysis of Systems, pp. 296–211 (2002)
3. Lecture Notes in Computer Science;I. Beer,2001
4. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Fifth International Conference on Verification, Model Checking and Abstract Interpretation (2004)
5. Botaschanjan, J., Kof, L., Kühnel, C., Spichkova, M.: Towards Verified Automotive Software. In: ACM (ed.) Proceedings of the 2nd International ICSE Workshop on Automotive Software. ACM Press, New York (2005)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献