References

  1. Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa & Tim A. C. Willemse (2017): Formalising the Dezyne Modelling Language in mCRL2. In: Laure Petrucci, Cristina Seceleanu & Ana Cavalcanti: Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, Lecture Notes in Computer Science 10471. Springer, pp. 217–233, doi:10.1007/978-3-319-67113-0_14.
  2. Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs & Tim A. C. Willemse (2019): The mCRL2 Toolset for Analysing Concurrent Systems. In: Tomáš Vojnar & Lijun Zhang: Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, Cham, pp. 21–39, doi:10.1007/978-3-642-34281-3_26.
  3. Gemma Church (2017): Have you ever wanted to press deleteon half a million lines of legacy code?. Available at https://medium.com/@ASMLcompany/have-you-ever-wanted-to-press-delete-on-half-a-million-lines-of-legacy-code-96a76fdbc076.
  4. Carlo Ghezzi, Mehdi Jazayeri & Dino Mandrioli (2003): Fundamentals of Software Engineering, 2nd Edition. Pearson.
  5. J.F. Groote & M.R. Mousavi (2014): Modeling and analysis of communicating systems. MIT Press, doi:10.7551/mitpress/9946.001.0001.
  6. C.A.R. Hoare (1985): Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. Prentice Hall. Available at http://www.usingcsp.com/cspbook.pdf.
  7. Jozef Hooman, Robert Huis in 't Veld & Mathijs Schuts (2011): Experiences with a Compositional Model Checker in the Healthcare Domain. In: Zhiming Liu & Alan Wassyng: Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers, Lecture Notes in Computer Science 7151. Springer, pp. 93–110, doi:10.1007/978-3-642-32355-3_6.
  8. Maurice Laveaux, Jan Friso Groote & Tim Willemse (2019): Correct and efficient antichain algorithms for refinement checking. In: Nobuko Yoshida & Jorge A. Pérez: Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings, Lecture Notes in Computer Science. Springer, Germany, pp. 185–203, doi:10.1007/978-3-030-21759-4_11.
  9. A.A.H. Osaiweran, J. Marincic & J.F. Groote (2017): Assessing the quality of tabular state machines through metrics.. In: Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017. IEEE Press, pp. 426–433, doi:10.1109/QRS.2017.52. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) ; Conference date: 25-07-2017 Through 29-07-2017.
  10. A.A.H. Osaiweran, M.T.W. Schuts, J.J.M. Hooman, J.F. Groote & B.J. Rijnsoever, van (2016): Evaluating the effect of a lightweight formal technique in industry. International Journal on Software Tools for Technology Transfer 18(1), pp. 93–108, doi:10.1007/s10009-015-0374-1.
  11. Ammar Osaiweran, Mathijs Schuts & Jozef Hooman (2014): Experiences with incorporating formal techniques into industrial practice. Empir. Softw. Eng. 19(4), pp. 1169–1194, doi:10.1007/s10664-013-9251-2.
  12. Ammar Osaiweran, Mathijs Schuts, Jozef Hooman & Jacco H. Wesselius (2013): Incorporating Formal Techniques into Industrial Practice: an Experience Report. Electron. Notes Theor. Comput. Sci. 295, pp. 49–63, doi:10.1016/j.entcs.2013.04.005.
  13. A. W. Roscoe (1997): The Theory and Practice of Concurrency. Prentice Hall PTR, USA.
  14. R. Wester & J. Koster (2015): The Software behind Moore's Law. IEEE Software 32(02), pp. 37–40, doi:10.1109/MS.2015.53.

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