Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata.
Jiaqi YinHuibiao ZhuYuan FeiPublished in: TrustCom (2021)
Keyphrases
- formal verification
- model checking
- timed automata
- master slave
- reachability analysis
- temporal logic
- automated verification
- model checker
- bounded model checking
- symbolic model checking
- formal specification
- theorem prover
- laparoscopic surgery
- functional verification
- program slicing
- planning domains
- markov decision processes
- object oriented
- artificial intelligence