Formal Verification of Ethical Choices in Industrial CPS.
Yinling LiuHind Bril El HaouziPublished in: SMC (2023)
Keyphrases
- formal verification
- model checking
- model checker
- industrial applications
- automated verification
- bounded model checking
- program slicing
- symbolic model checking
- functional verification
- technology transfer
- test set
- information systems
- partial order
- ethical issues
- heuristic search
- software engineering
- artificial intelligence