Formal Verification of CAN Bus in Cyber Physical System.
Rui WangYong GuanXiaojuan LiRui ZhangPublished in: QRS Companion (2020)
Keyphrases
- formal verification
- cyber physical systems
- model checking
- cyber security
- physical world
- symbolic model checking
- model checker
- bounded model checking
- high speed
- automated verification
- embedded systems
- critical infrastructure
- software development
- knowledge discovery
- control system
- decision making
- artificial intelligence
- data mining