Author:
Weber Mathias,Bieniusa Annette,Poetzsch-Heffter Arnd
Publisher
Springer International Publishing
Reference11 articles.
1. Alur, R., McMillan, K., Peled, D.: Deciding global partial-order properties. Formal Methods Syst. Des. 26(1), 7–25 (2005)
2. Burckhardt, S., Gotsman, A., Yang, H., Zawirski, M.: Replicated data types: specification, verification, optimality. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, pp. 271–284. ACM, New York (2014)
3. Lecture Notes in Computer Science;EM Clarke,1982
4. Diekert, V., Gastin, P.: Pure future local temporal logics are expressively complete for Mazurkiewicz traces. Inf. Comput. 204(11), 1597–1619 (2006)
5. Havelund, K., Rosu, G.: Testing linear temporal logic formulae on finite execution traces. Technical report, RIACS (2001)