The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker.
Sylvain ConchonAlexandrina KornevaPublished in: SEFM (2023)
Keyphrases
- model checker
- model checking
- formal methods
- formal verification
- temporal logic
- fuzzy sets
- description language
- symbolic model checking
- set theory
- formal specification
- test suite
- fuzzy logic
- fuzzy set theory
- fuzzy numbers
- specification language
- ai planning
- neural network
- machine learning
- orders of magnitude
- knowledge acquisition
- image analysis
- association rules
- genetic algorithm