Author:
Cimatti Alessandro,Tian Chun,Tonetta Stefano
Publisher
Springer International Publishing
Reference36 articles.
1. Arafat, O., Bauer, A., Leucker, M., Schallhart, C.: Runtime verification revisited. Technical report TUM-I0518, Technische Universität München, München (2005)
2. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, pp. 825–885. IOS Press, January 2009. https://doi.org/10.3233/978-1-58603-929-5-825
3. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Log. Comput. 20(3), 651–674 (2010). https://doi.org/10.1093/logcom/exn075
4. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14–64 (2011). https://doi.org/10.1145/2000799.2000800
5. Biere, A., Cimatti, A., Clarke Jr, E.M., Strichman, O., Zhu, Y.: Bounded model checking. In: Advances in Computers: Highly Dependable Software, pp. 117–148. Academic Press (2003)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献