Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS.
Yojiro HarieKatsumi WasakiPublished in: GCCE (2016)
Keyphrases
- formal verification
- petri net
- consumer electronics
- model checking
- petri net model
- sequence diagrams
- symbolic model checking
- automated verification
- bounded model checking
- embedded devices
- model checker
- colored petri nets
- embedded systems
- ims ld
- stochastic petri net
- web service composition
- service composition
- fuzzy petri net
- real time
- concurrent systems
- temporal logic