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