White-box validation of quantitative product lines by statistical model checking and process mining.
Roberto CasaluceAndrea BurattinFrancesca ChiaromonteAlberto Lluch-LafuenteAndrea VandinPublished in: CoRR (2024)
Keyphrases
- model checking
- process mining
- white box
- black box
- product lines
- temporal logic
- process model
- event logs
- formal verification
- model checker
- symbolic model checking
- source code
- temporal properties
- business process
- formal specification
- automated verification
- business processes
- computation tree logic
- product line
- software systems
- transition systems
- bounded model checking
- software product line
- management practices
- verification method
- formal methods
- epistemic logic
- timed automata
- formal concept analysis
- alternating time temporal logic
- machine learning
- project management
- workflow management systems