Self-adaptive Model Checking, the Next Step?
| Autor: | Yann Thierry-Mieg, Fabrice Kordon |
|---|---|
| Přispěvatelé: | Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS) |
| Rok vydání: | 2018 |
| Předmět: |
Model checking
Theoretical computer science Computer science Representation (systemics) Self adaptive [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] 0102 computer and information sciences 02 engineering and technology Petri net 01 natural sciences [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Industrial systems [INFO.INFO-ES]Computer Science [cs]/Embedded Systems 020201 artificial intelligence & image processing Combinatorial explosion |
| Zdroj: | Application and Theory of Petri Nets and Concurrency ISBN: 9783319912677 Petri Nets Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. ⟨10.1007/978-3-319-91268-4_1⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|