Author:
Zhang Lianyi,Qing Duzheng,Zhang Han,Wang Qingyun,Laili Yuanjun
Publisher
Springer Nature Singapore
Reference17 articles.
1. Bartezko, D.: JASS-JAVA with assertions. ENTCS 55(2), 103–117 (2001)
2. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14 (2011)
3. Lecture Notes in Computer Science;A Cimatti,2002
4. Clarke, E.M.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Prog. Lang. Syst. 8, 244–263 (1986)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);EM Clarke,2008