A framework for modeling and analyzing cyber-physical systems using statistical model checking.
Abdel-Latif AlshalalfahOtmane Aït MohamedSamir OuchaniPublished in: Internet Things (2023)
Keyphrases
- model checking
- temporal logic
- verification method
- artifact centric
- abstract interpretation
- formal verification
- automated verification
- epistemic logic
- formal specification
- temporal properties
- symbolic model checking
- data mining
- ordered binary decision diagrams
- transition systems
- binary decision diagrams
- formal methods
- low cost
- information systems