Self-adaptive Model Checking, the Next Step?

Abstract : 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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01822143
Contributor : Fabrice Kordon <>
Submitted on : Friday, July 6, 2018 - 8:17:40 AM
Last modification on : Friday, July 5, 2019 - 3:26:03 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

85