Plant model generation from event log using ProM for formal verification of CPS.
Midhun XavierVictor DubininSandeep PatilValeriy VyatkinPublished in: CoRR (2022)
Keyphrases
- formal verification
- event logs
- process mining
- model checking
- process model
- model checker
- business process
- bounded model checking
- automated verification
- log files
- security policies
- symbolic model checking
- program slicing
- case study
- business processes
- fuzzy logic
- knowledge acquisition
- information retrieval systems
- domain specific
- data structure