Author:
Grompanopoulos Christos,Gouglidis Antonios,Mavridou Anastasia
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference30 articles.
1. Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the “small scope hypothesis”. In: In Popl, vol. 2. Citeseer (2003)
2. Backes, J., Bolignano, P., Cook, B., Dodge, C., Gacek, A., Luckow, K., Rungta, N., Tkachuk, O., Varming, C.: Semantic-based automated reasoning for aws access policies using smt. In: 2018 Formal Methods in Computer Aided Design (FMCAD), pp. 1–9. IEEE (2018)
3. Cau, A., Moszkowski, B., Zedan, H.: Interval temporal logic. https://www.cms.dmu.ac.uk/cau/itlhomepage/itlhomepage.html (2006)
4. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: Nusmv 2: An opensource tool for symbolic model checking. In: International Conference on Computer Aided Verification, pp. 359–364. Springer (2002)
5. Gouglidis, A., Grompanopoulos, C., Mavridou, A.: Formal verification of usage control models: A case study of usecon using tla+. arXiv preprint arXiv:1806.09848 (2018)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On methods and tools for rigorous system design;International Journal on Software Tools for Technology Transfer;2021-06-22