Retrospect and Prospect of Formal Methods Education in China

Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of fo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Xu, Baowen, Zhang, Yingzhou, Li, Yanhui
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Formal Language Formal Meth Formal Method General aspects Model Check Occupational training. Personnel. Work management Reliable Software Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!