Publisher
Springer Nature Switzerland
Reference7 articles.
1. Clarkson, M.R., Finkbeiner, B., Koleini, M., Micinski, K.K., Rabe, M.N., Sánchez, C.: Temporal logics for hyperproperties. CoRR abs/1401.4492 (2014). http://arxiv.org/abs/1401.4492
2. Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157–1210 (2010). https://doi.org/10.3233/JCS-2009-0393
3. Hoang, T.S., Snook, C., Dghaym, D., Fathabadi, A.S., Butler, M.: The CamilleX framework for the Rodin platform. In: ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021 (07/06/21–11/06/21), pp. 124–129, June 2021. https://eprints.soton.ac.uk/448174/
4. Hoang, T.S., Snook, C., Dghaym, D., Fathabadi, A.S., Butler, M.: Building an extensible textual framework for the rodin platform. In: Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M., Palmieri, M. (eds.) Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops. SEFM 2022. LNCS, vol. 13765, pp. 132–147. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-26236-4_11
5. Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., USA (2002)