Self-adaptive Model Checking, the Next Step? - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Self-adaptive Model Checking, the Next Step?

Fabrice Kordon
Yann Thierry-Mieg

Résumé

Model checking is becoming a popular verification method that still suffers from combinatorial explosion when used on large industrial systems. Currently, experts can, in some cases, overcome this complexity by selecting appropriate modeling and verification techniques, as well as an adapted representation of the system. Unfortunately, this cannot yet be done automatically, thus hindering the use of model checking in industry. The objective of this paper is to sketch a way to tackle this problem by introducing self-adaptive model checking. This is a long term goal that could lead the community to elaborate a new generation of model checkers able to successfully push forwards the scale of the systems they can deal with.
Fichier non déposé

Dates et versions

hal-01822143 , version 1 (06-07-2018)

Identifiants

Citer

Fabrice Kordon, Yann Thierry-Mieg. Self-adaptive Model Checking, the Next Step?. Application and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. ⟨10.1007/978-3-319-91268-4_1⟩. ⟨hal-01822143⟩
93 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More