Formal specification and runtime detection of temporal properties for asynchronous context.
Hengfeng WeiYu HuangJiannong CaoXiaoxing MaJian LuPublished in: PerCom (2012)
Keyphrases
- formal specification
- temporal properties
- model checking
- formal methods
- temporal logic
- object oriented design
- specification languages
- specification language
- process algebra
- asynchronous circuits
- reverse engineering
- concurrent systems
- software systems
- building blocks
- software engineering
- expert systems
- bayesian networks