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
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
217–233
10.1007/978-3-319-67113-0_14
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
Tomáš Vojnar
Lijun Zhang
Tools and Algorithms for the Construction and Analysis of Systems
Springer International Publishing
Cham
21–39
10.1007/978-3-642-34281-3_26
Gemma Church
2017
Have you ever wanted to press deleteon half a million lines of legacy code?
https://medium.com/@ASMLcompany/have-you-ever-wanted-to-press-delete-on-half-a-million-lines-of-legacy-code-96a76fdbc076
Carlo Ghezzi
Mehdi Jazayeri
Dino Mandrioli
2003
Fundamentals of Software Engineering, 2nd Edition
Pearson
J.F. Groote
M.R. Mousavi
2014
Modeling and analysis of communicating systems
MIT Press
10.7551/mitpress/9946.001.0001
C.A.R. Hoare
1985
Communicating Sequential Processes
Prentice-Hall International Series in Computer Science
Prentice Hall
http://www.usingcsp.com/cspbook.pdf
Jozef Hooman
Robert Huis in 't Veld
Mathijs Schuts
2011
Experiences with a Compositional Model Checker in the Healthcare Domain
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
93–110
10.1007/978-3-642-32355-3_6
Maurice Laveaux
Jan Friso Groote
Tim Willemse
2019
Correct and efficient antichain algorithms for refinement checking
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
185–203
10.1007/978-3-030-21759-4_11
A.A.H. Osaiweran
J. Marincic
J.F. Groote
2017
Assessing the quality of tabular state machines through metrics.
Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017
IEEE Press
426–433
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
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
93–108
10.1007/s10009-015-0374-1
Ammar Osaiweran
Mathijs Schuts
Jozef Hooman
2014
Experiences with incorporating formal techniques into industrial practice
Empir. Softw. Eng.
19
4
1169–1194
10.1007/s10664-013-9251-2
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
49–63
10.1016/j.entcs.2013.04.005
A. W. Roscoe
1997
The Theory and Practice of Concurrency
Prentice Hall PTR
USA
R. Wester
J. Koster
2015
The Software behind Moore's Law
IEEE Software
32
02
37–40
10.1109/MS.2015.53