Formal methods, techniques and tools for secure and reliable applications

摘要

I would very sincerely like to thank the Editor-in-Chief, Prof. Dr. Harald Schumny of Computer Standards and Interface Journal for his dedication, un-fettered support and encouragement to organise this special issue. I also take this opportunity to sincerely thank Dr. Nikita Schmidt, Post-Doctorate Fellow in the CNDSRGroup, Departmeni of Computer Science, University College Dublin, Ireland for his reviewing and editorial assistance of this special issue and numerous reviewers for their professional effort in evaluating and grading the select articles to reflect the essence of this special issue, and the authors for their contributions and undertaking revision of their manuscripts with due diligence in a professional and timely manner at very short notice.