Real world verification experiences from the verisoft email client

Gerd Beuster; Niklas Henrich; Markus Wagner

Real world verification experiences from the verisoft email client

Gerd Beuster
, Niklas Henrich
, Markus Wagner

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

Abstract

This paper reports our experiences developing a completely verified email client. The formal specification of the email client includes all informal requirements and security goals. Compliance to the formal specification has been proven for the complete source code. The email client is part of project Verisoft, where pervasively verified systems are developed.

Original language	English
Title of host publication	FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006
Publisher	CEUR-WS
Pages	112-125
Number of pages	14
Volume	192
Publication status	Published - 2006
Externally published	Yes
Event	FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006 - Seattle, United States of America Duration: 22 Aug 2006 → 22 Aug 2006 https://www.cs.miami.edu/home/geoff/Conferences/ESCoR/

Publication series

Name	CEUR Workshop Proceedings
ISSN (Print)	1613-0073

Conference

Conference	FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006
Abbreviated title	ESCoR 2006
Country/Territory	United States of America
City	Seattle
Period	22/08/06 → 22/08/06
Internet address	https://www.cs.miami.edu/home/geoff/Conferences/ESCoR/

Cite this

@inproceedings{b3e063702813426498335f2b75aaf1c7,

title = "Real world verification experiences from the verisoft email client",

abstract = "This paper reports our experiences developing a completely verified email client. The formal specification of the email client includes all informal requirements and security goals. Compliance to the formal specification has been proven for the complete source code. The email client is part of project Verisoft, where pervasively verified systems are developed.",

author = "Gerd Beuster and Niklas Henrich and Markus Wagner",

year = "2006",

language = "English",

volume = "192",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS",

pages = "112--125",

booktitle = "FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006",

address = "Germany",

note = "FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006, ESCoR 2006 ; Conference date: 22-08-2006 Through 22-08-2006",

url = "https://www.cs.miami.edu/home/geoff/Conferences/ESCoR/",

}

Beuster, G, Henrich, N & Wagner, M 2006, Real world verification experiences from the verisoft email client. in FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006. vol. 192, CEUR Workshop Proceedings, CEUR-WS, pp. 112-125, FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006, Seattle, Washington, United States of America, 22/08/06.

Real world verification experiences from the verisoft email client. / Beuster, Gerd; Henrich, Niklas; Wagner, Markus.
FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006. Vol. 192 CEUR-WS, 2006. p. 112-125 (CEUR Workshop Proceedings).

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

TY - GEN

T1 - Real world verification experiences from the verisoft email client

AU - Beuster, Gerd

AU - Henrich, Niklas

AU - Wagner, Markus

PY - 2006

Y1 - 2006

N2 - This paper reports our experiences developing a completely verified email client. The formal specification of the email client includes all informal requirements and security goals. Compliance to the formal specification has been proven for the complete source code. The email client is part of project Verisoft, where pervasively verified systems are developed.

AB - This paper reports our experiences developing a completely verified email client. The formal specification of the email client includes all informal requirements and security goals. Compliance to the formal specification has been proven for the complete source code. The email client is part of project Verisoft, where pervasively verified systems are developed.

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

M3 - Conference Paper

AN - SCOPUS:84884307658

VL - 192

T3 - CEUR Workshop Proceedings

SP - 112

EP - 125

BT - FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006

PB - CEUR-WS

T2 - FLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006

Y2 - 22 August 2006 through 22 August 2006

ER -

Real world verification experiences from the verisoft email client

Abstract

Publication series

Conference

Other files and links

Cite this