Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge

Bernard K. Aichernig; He Jifeng; Zhiming Liu; Mike Reed

doi:10.1007/978-3-540-69149-5_31

Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge

Bernard K. Aichernig, He Jifeng, Zhiming Liu, Mike Reed

United Nations University Institute in Macau

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.

Original language	English
Title of host publication	Verified Software
Subtitle of host publication	Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions
Pages	291-300
Number of pages	10
DOIs	https://doi.org/10.1007/978-3-540-69149-5_31
State	Published - 2008
Externally published	Yes
Event	1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005 - Zurich, Switzerland Duration: 10 Oct 2005 → 13 Oct 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4171 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005
Country/Territory	Switzerland
City	Zurich
Period	10/10/05 → 13/10/05

Access to Document

10.1007/978-3-540-69149-5_31

Cite this

Aichernig, B. K., Jifeng, H., Liu, Z., & Reed, M. (2008). Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge. In Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions (pp. 291-300). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4171 LNCS). https://doi.org/10.1007/978-3-540-69149-5_31

Aichernig, Bernard K. ; Jifeng, He ; Liu, Zhiming et al. / Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge. Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. 2008. pp. 291-300 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2c6145c4715a496fbbd0a174f0139e7d,

title = "Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge",

abstract = "This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.",

author = "Aichernig, \{Bernard K.\} and He Jifeng and Zhiming Liu and Mike Reed",

year = "2008",

doi = "10.1007/978-3-540-69149-5\_31",

language = "英语",

isbn = "9783540691471",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "291--300",

booktitle = "Verified Software",

note = "1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005 ; Conference date: 10-10-2005 Through 13-10-2005",

}

Aichernig, BK, Jifeng, H, Liu, Z & Reed, M 2008, Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge. in Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4171 LNCS, pp. 291-300, 1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, Zurich, Switzerland, 10/10/05. https://doi.org/10.1007/978-3-540-69149-5_31

Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge. / Aichernig, Bernard K.; Jifeng, He; Liu, Zhiming et al.
Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. 2008. p. 291-300 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4171 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge

AU - Aichernig, Bernard K.

AU - Jifeng, He

AU - Liu, Zhiming

AU - Reed, Mike

PY - 2008

Y1 - 2008

N2 - This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.

AB - This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.

UR - https://www.scopus.com/pages/publications/84885650685

U2 - 10.1007/978-3-540-69149-5_31

DO - 10.1007/978-3-540-69149-5_31

M3 - 会议稿件

AN - SCOPUS:84885650685

SN - 9783540691471

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 291

EP - 300

BT - Verified Software

T2 - 1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005

Y2 - 10 October 2005 through 13 October 2005

ER -

Aichernig BK, Jifeng H, Liu Z, Reed M. Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge. In Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. 2008. p. 291-300. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-69149-5_31

Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this