Self-adaptive Model Checking, the Next Step? - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Self-adaptive Model Checking, the Next Step?

Fabrice Kordon
Yann Thierry-Mieg


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.
No file

Dates and versions

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



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⟩
88 View
1 Download



Gmail Facebook X LinkedIn More