Verifying distributed real-time properties of embedded systems via graph transformations and model checking.
Gabor MadlSherif AbdelwahedDouglas C. SchmidtPublished in: Real Time Syst. (2006)
Keyphrases
- model checking
- embedded systems
- temporal properties
- real time systems
- real time
- resource limited
- low cost
- temporal logic
- real time embedded
- formal verification
- automated verification
- formal specification
- embedded devices
- finite state
- symbolic model checking
- model checker
- distributed systems
- bounded model checking
- cyber physical systems
- verification method
- timed automata
- reachability analysis
- transition systems
- computation tree logic
- epistemic logic
- field programmable gate array
- concurrent systems
- multi agent
- linear temporal logic
- graph theory
- pspace complete
- formal methods
- software systems
- object oriented
- state space