Retrospect and Prospect of Formal Methods Education in China.
Baowen XuYingzhou ZhangYanhui LiPublished in: TFM (2004)
Keyphrases
- formal methods
- hong kong
- model checking
- developed countries
- safety critical
- model checker
- temporal properties
- formal specification
- knowledge based systems
- formal analysis
- provably correct
- higher education
- e learning
- process algebra
- traffic safety
- distance learning
- software engineering
- information and communication technologies
- economic growth
- artificial intelligence
- knowledge representation
- modeling language
- development lifecycle
- protocol specification
- development of information technology