A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.
Ling ShiYongxin ZhaoYang LiuJun SunJin Song DongShengchao QinPublished in: Formal Aspects Comput. (2018)
Keyphrases
- dynamic aspects
- sharing information
- formal language
- communication channels
- operational semantics
- machine processable
- model theoretic
- formal semantics
- semantic information
- formal methods
- formal verification
- theorem proving
- specification languages
- neural network
- fractal image compression
- formal model
- process model
- highly expressive
- timed automata
- relational databases