Publisher
Springer Nature Switzerland
Reference10 articles.
1. ESpin. https://github.com/nhathoatran/ESpin. Accessed 06 Feb 2023
2. Abrial, J.R.: Modeling in Event-B: System And Software Engineering. Cambridge University Press, Cambridge (2010)
3. Baier, C., Katoen, J.P., Larsen, K.G.: Principles Of Model Checking. MIT press, New York (2008)
4. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd. (2013)
5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. (TOPLAS) 8(2), 244–263 (1986)