, php in the case of the Model Checking Contest, vol.22

A. E. Arenas, J. Bicarregui, and T. Margaria, The FMICS View on the Verified Software Repository, Journal of Integrated Design and Process Science (IDPT), vol.10, issue.4, pp.47-54, 2006.

G. Behrmann, A. David, K. G. Larsen, P. Pettersson, and W. Yi, Developing UPPAAL over 15 Years. Software Practice and Experience, vol.41, pp.133-142, 2011.

J. A. Bergstra, A. Ponse, and S. A. Smolka, Handbook of Process Algebra, 2001.

J. Bicarregui, C. A. Hoare, and J. C. Woodcock, The Verified Software Repository: A Step Towards the Verifying compiler, Formal Aspects of Computing, vol.18, issue.2, pp.143-151, 2006.

T. Bourke, L. Brun, P. Dagand, X. Leroy, M. Pouzet et al., A Formally Verified Compiler for Lustre, Proceedings of the 38th ACM SIG-PLAN Conference on Programming Language Design and Implementation (PLDI'17), pp.586-601, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01512286

A. Bouzafour, M. Renaudin, H. Garavel, R. Mateescu, and W. Serwe, Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits, Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'18), pp.34-42, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01777093

J. Volker-braun, T. Kreileder, B. Margaria, and . Steffen, The ETI Online Service in Action, Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), vol.1579, pp.439-443, 1999.

T. Volker-braun, C. Margaria, and . Weise, Integrating Tools in the ETI Platform, Springer International Journal on Software Tools for Technology Transfer (STTT), issue.1, pp.31-48, 1997.

A. W. Rance-cleaveland, S. A. Roscoe, and . Smolka, Process Algebra and Model Checking, Handbook of Model Checking, pp.1149-1195, 2018.

H. Evrard and F. Lang, Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.121-153, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01412911

K. Finney, Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Transactions on Software Engineering, vol.22, pp.158-159, 1996.

H. Garavel, Compilation of LOTOS Abstract Data Types, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89, pp.147-162, 1989.

H. Garavel and . Open/caesar, An Open Software Architecture for Verification, Simulation, and Testing, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), vol.1384, pp.68-84, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073337

H. Garavel and S. Graf, Formal Methods for Safe and Secure Computers Systems, Bundesamt für Sicherheit in der Informationstechnik, vol.875, 2013.

H. Garavel and F. Lang, SVL: a Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), pp.377-392, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, and R. Mateescu, Compiler Construction using LOTOS NT, Proceedings of the 11th International Conference on Compiler Construction (CC'02), vol.2304, pp.9-13, 2002.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, F. Lang, and L. Mounier, -Essays Dedicated to Susanne Graf at the Occasion of Her 60th Birthday, Proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS'18), vol.11119, pp.189-210, 2018.

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

H. Garavel and W. Serwe, The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark, Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), vol.244, pp.230-270, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01511847

H. Garavel, M. Tabikh, and I. Arrada, Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages -The 4th Rewrite Engines Competition, Proceedings of the 12th International Workshop on Rewriting Logic and its Applications (WRLA'18), vol.11152, pp.1-25, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01883212

J. Friso-groote and T. A. Willemse, Parameterised Boolean Equation Systems, Theoretical Computer Science, vol.343, pp.332-369, 2005.

A. Hartmanns and H. Hermanns, the Quantitative Automata Zoo, vol.112, pp.3-23, 2015.

M. Isberner, F. Howar, and B. Steffen, The Open-Source Learn-Lib -A Framework for Active Automata Learning, Proceedings (Part I) of the 27th International Conference on Computer Aided Verification (CAV'15), vol.9206, pp.487-495, 2015.

. Iso/iec and . Lotos--a, Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization -Information Processing Systems -Open Systems Interconnection, 1989.

D. Jackson and J. Wing, Lightweight Formal Methods. IEEE Computer, pp.21-22, 1996.

J. Jourdan, V. Laporte, S. Blazy, X. Leroy, and D. Pichardie, A Formally-Verified C Static Analyzer, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15), pp.247-259, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01078386

G. Kant, A. Laarman, J. Meijer, J. Van-de-pol, S. Blom et al., LTSmin: High-Performance Language-Independent Model Checking, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), vol.9035, pp.692-707, 2015.

F. Kordon, H. Garavel, E. Lom-messan-hillah, L. Paviot-adet, F. Jezequel et al., MCC'2017 -The Seventh Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency, vol.XIII, pp.181-209, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01917492

S. Krishnamurthi, Artifact Evaluation for Software Conferences. SIG-PLAN Notices, vol.48, pp.17-21, 2013.

M. Z. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11), vol.6806, pp.585-591, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

D. W. Loveland, Automated Theorem Proving: A Quarter Century Review, Automated Theorem Proving -After 25 Years, vol.29, pp.1-45, 1984.

A. Mader, Verification of Modal Properties Using Boolean Equation Systems, vol.8, 1997.

T. Margaria, J. Volker-braun, and . Kreileder, Interacting with ETI: a User Session, Springer International Journal on Software Tools for Technology Transfer (STTT), issue.1, pp.49-63, 1997.

T. Margaria, R. Nagel, and B. Steffen, jETI: A Tool for Remote Tool Integration, Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), vol.3440, pp.557-562, 2005.

T. Margaria and B. Steffen, LTL Guided Planning: Revisiting Automatic Tool Composition in ETI, Proceedings of the 31st IEEE/NASA Software Engineering Workshop (SEW'07), pp.214-226, 2007.

L. Marsso, R. Mateescu, and W. Serwe, TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), vol.10806, pp.211-228, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01777861

R. Mateescu, Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus, Proceedings of the 2nd International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI'98), 1998.

R. Mateescu and H. Garavel, XTL: A Meta-Language and Tool for Temporal Logic Model-Checking, Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT'98), pp.33-42, 1998.

F. Mazzanti and A. Ferrari, Ten Diverse Formal Models for a CBTC Automatic Train Supervision System, Proceedings of the 3rd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation (MARS/VPT'18), vol.268, pp.104-149, 2018.

F. Mazzanti, A. Ferrari, and G. O. Spagnolo, Towards Formal Methods Diversity in Railways: An Experience Report with Seven Frameworks, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.20, issue.3, pp.263-288, 2018.

M. Merten, B. Steffen, F. Howar, and T. Margaria, Next Generation LearnLib, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), vol.6605, pp.220-223, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00647749

S. Naujokat, M. Lybecait, D. Kopetzki, and B. Steffen, CINCO: A Simplicity-driven Approach to Full Generation of Domainspecific Graphical Modeling Tools, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.20, issue.3, pp.327-354, 2018.

H. Raffelt, B. Steffen, T. Berg, and T. Margaria, LearnLib: A Framework for Extrapolating Behavioral Models, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.11, pp.393-407, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00459959

W. Ruan, X. Huang, and M. Kwiatkowska, Reachability Analysis of Deep Neural Networks with Provable Guarantees, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJ-CAI'18), pp.2651-2659, 2018.

H. Rudin, C. H. West, and P. Zafiropulo, Automated Protocol Validation: One Chain of Development, Computer Networks, vol.2, pp.373-380, 1978.

J. Rushby, Disappearing Formal Methods, Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE'00), pp.95-96, 2000.

J. Sifakis, System Design in the Era of IoT -Meeting the Autonomy Challenge, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD'18), vol.272, pp.1-22, 2018.

B. Steffen, The Physics of Software Tools: SWOT Analysis and Vision, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.19, issue.1, pp.1-7, 2017.

B. Steffen, T. Margaria, and V. Braun, The Electronic Tool Integration Platform: Concepts and Design, Springer International Journal on Software Tools for Technology Transfer (STTT), issue.1, pp.9-30, 1997.

. Muck-van-weerdenburg, An Account of Implementing Applicative Term Rewriting. Electronic Notes in Theoretical Computer Science, vol.174, issue.10, pp.139-155, 2007.

C. H. West, General Technique for Communications Protocol Validation, IBM Journal of Research and Development, vol.22, issue.4, pp.393-404, 1978.