Analyzing data flow diagrams by combination of formal methods and visualization techniques.
Haocheng ZhangWei LiuHao XiongXiaoju DongPublished in: J. Vis. Lang. Comput. (2018)
Keyphrases
- data flow
- formal methods
- database machine
- control flow
- formal analysis
- graphical representations
- artificial intelligence
- knowledge based systems
- model checking
- model checker
- object oriented software
- safety critical
- data transfer
- digital signal processing
- process algebra
- formal specification
- systolic array
- software engineering
- development lifecycle
- modeling language
- information systems
- provably correct
- bottle neck
- formal specification language
- reactive systems
- machine learning
- database systems
- object oriented
- temporal logic