References

  1. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor & Elvinia Riccobene (2018): Integrating formal methods into medical software development: The ASM approach. Science of Computer Programming 158, pp. 148 – 167, doi:10.1016/j.scico.2017.07.003.
  2. Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2010): AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. In: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau & Steve Reeves: Abstract State Machines, Alloy, B and Z, Lecture Notes in Computer Science 5977. Springer Berlin Heidelberg, pp. 61–74, doi:10.1007/978-3-642-11811-1_6.
  3. Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2016): SMT-based automatic proof of ASM model refinement. In: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Proceedings, Lecture Notes in Computer Science. Springer International Publishing, Cham, pp. 253–269, doi:10.1007/978-3-319-41591-8_17.
  4. Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2017): Rigorous development process of a safety-critical system: from ASM models to Java code. International Journal on Software Tools for Technology Transfer 19(2), pp. 247–269, doi:10.1007/s10009-015-0394-x.
  5. Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2018): SMT for state-based formal methods: the ASM case study. In: Natarajan Shankar & Bruno Dutertre: Automated Formal Methods, Kalpa Publications in Computing 5. EasyChair, pp. 1–18, doi:10.29007/djdz.
  6. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene & Patrizia Scandurra (2011): A model-driven process for engineering a toolset for a formal method. Software: Practice and Experience 41(2), pp. 155–166, doi:10.1002/spe.1019.
  7. Paolo Arcaini, Roxana-Maria Holom & Elvinia Riccobene (2016): ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects of Computing 28(4), pp. 567–595, doi:10.1007/s00165-016-0371-5.
  8. Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet & Laurent Voisin (2003): Adaptable Translator of B Specifications to Embedded C Programs. In: FME 2003: Formal Methods. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 94–113, doi:10.1007/978-3-540-45236-2_7.
  9. Silvia Bonfanti, Marco Carissoni, Angelo Gargantini & Atif Mashkoor (2017): Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. In: NASA Formal Methods. Springer International Publishing, Cham, pp. 295–301, doi:10.1007/978-3-319-57288-8_21.
  10. Egon Börger & Alexander Raschke (2018): Modeling Companion for Software Practitioners. Springer, Berlin, Heidelberg, doi:10.1007/978-3-662-56641-1.
  11. Egon Börger & Robert Stärk (2003): Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, doi:10.1007/978-3-642-18216-7.
  12. Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani & Armando Tacchella (2002): NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Computer Aided Verification. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 359–364, doi:10.1007/3-540-45657-0_29.
  13. X. Devroey, M. Cordy, P. Y. Schobbens, A. Legay & P. Heymans (2015): State machine flattening, a mapping study and tools assessment. In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1–8, doi:10.1109/ICSTW.2015.7107408.
  14. Angelo Gargantini, Elvinia Riccobene & Salvatore Rinzivillo (2003): Using Spin to Generate Tests from ASM Specifications. In: Abstract State Machines 2003. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 263–277, doi:10.1007/3-540-36498-6_15.
  15. Ichiro Hasuo (2017): Metamathematics for Systems Design. New Generation Computing 35(3), pp. 271–305, doi:10.1007/s00354-017-0023-1.
  16. Kirsten Winter (1997): Model Checking for Abstract State Machines. Journal of Universal Computer Science (J.UCS) 3(5), pp. 689–701, doi:10.3217/jucs-003-05-0689.
  17. Hamed Yaghoubi Shahir, Roozbeh Farahbod & Uwe Glässer (2012): Refactoring Abstract State Machine Models. In: Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 345–348, doi:10.1007/978-3-642-30885-7_28.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org