Formal Verification of Real-Time Systems with Data Processing.
Tamás TóthIstván MajzikPublished in: Period. Polytech. Electr. Eng. Comput. Sci. (2017)
Keyphrases
- real time systems
- formal verification
- data processing
- model checking
- distributed systems
- model checker
- data management
- real time
- automated verification
- bounded model checking
- data analysis
- embedded systems
- timing constraints
- program slicing
- mission critical
- symbolic model checking
- real time embedded
- real time database systems
- temporal logic
- architectural model
- web services
- databases