Formal Verification of Communication Protocol using Type Theory

Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

Original language	English
Title of host publication	International Conference on Communications Technology (ICCT 2003)
Place of Publication	Beijing, China
Publisher	Beijing University of Posts and Telecommunications Press
Pages	1585 - 1593
Publication status	Published - 2003

Cite this

@inbook{81a15ddb292b4261a4095693e2e0aaab,

title = "Formal Verification of Communication Protocol using Type Theory",

author = "Xingyuan Zhang and Malcolm Munro and Mark Harman and Lin Hu",

year = "2003",

language = "English",

pages = "1585 -- 1593",

booktitle = "International Conference on Communications Technology (ICCT 2003)",

publisher = "Beijing University of Posts and Telecommunications Press",

}

TY - CHAP

T1 - Formal Verification of Communication Protocol using Type Theory

AU - Zhang, Xingyuan

AU - Munro, Malcolm

AU - Harman, Mark

AU - Hu, Lin

PY - 2003

Y1 - 2003

M3 - Conference paper

SP - 1585

EP - 1593

BT - International Conference on Communications Technology (ICCT 2003)

PB - Beijing University of Posts and Telecommunications Press

CY - Beijing, China

ER -