Méthodes Formelles pour les Systèmes Informatiques

Les logiciels deviennent de plus en plus complexes et en même temps plus omniprésents, et de nombreux systèmes critiques ou cyber-physiques s’appuient sur des logiciels pour fonctionner correctement et de manière robuste. Les méthodes formelles peuvent aider à concevoir de tels logiciels appelés à  être utilisées pour vérifier la sécurité, l’exactitude et les propriétés de sécurité. Nous encourageons la soumission de documents de recherche originaux sur tous les aspects des méthodes formelles et de leurs applications, y compris, mais sans s’y limiter, les sujets suivants:

Fondements théoriques: Tous les aspects de la théorie liés à la spécification, à la vérification, à la construction, au raffinement et à l’analyse statique et dynamique.

Applications pratiques: études de cas, expérience avec des méthodes formelles dans l’industrie, rapports d’utilisation d’outils, expériences avec des problèmes de challenge.

Outils pour les méthodes formelles: Les avancées dans la vérification automatisée, la vérification des modèles et les tests avec des méthodes formelles, l’intégration des outils, les environnements pour les méthodes formelles et la validation expérimentale des outils ainsi que la génération de code.

Méthodes formelles interdisciplinaires: Les techniques, outils et expériences démontrant des méthodes formelles dans des contextes interdisciplinaires (par exemple, systèmes cyber-physiques ou sécurité) sont encouragés.

Éducation et enseignement:  Cette rubrique sera consacrée aux  comptes rendus et  retours d’expériences  sur les cours et méthodes d’enseignement , la conception des programmes, les problèmes de challenges.

Formal methods for Computing Systems:

Software is becoming more complex and at the same time more pervasive, and many critical or cyber-physical systems rely on software to function correctly and robustly. Formal methods can help to design such software and can be used to verify safety, correctness, and security properties. We welcome submission of original research papers in all aspects of formal methods and their applications, including but not limited to the following topic areas:

Theoretical foundations: All aspects of theory related to specification, verification, construction, refinement, and static and dynamic analysis.

Practical applications: Case studies, experience with formal methods in industry, tool usage reports, experiments with challenge problems. 

Tools for formal methods: Advances in automated verification, model-checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools, code generation. 

Interdisciplinary formal methods: Techniques, tools and experiences demonstrating formal methods in interdisciplinary contexts (e.g., cyber-physical systems or security).

Education and Teaching: Experience reports on taught courses, curriculum design, challenge problems.