Publisher
Springer Nature Switzerland
Reference32 articles.
1. Lecomte, T., Servat, T., Pouzancre, G.: Formal methods in safety-critical railway systems. In: 10th Brasilian Symposium on Formal Methods (2007)
2. Lecture Notes in Computer Science;C Ferdinand,2001
3. Cousot, P., et al.: The ASTREÉ analyzer. In Sagiv, M. (ed.) Programming Languages and Systems, Springer, Berlin, pp. 21–30 (2005). https://doi.org/10.1007/978-3-540-31987-0_3
4. Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) Software Engineering and Formal Methods, SEFM 2012, LNCS, vol. 7504, pp. 233–247. Springer, Berlin (2012). https://doi.org/10.1007/978-3-642-33826-7_16
5. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transfer 12(6) 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-y