Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Archive formats / Automated theorem proving / Gzip / Formal verification / HOL / Tar / Theorem Proving in Higher-Order Logics / Theoretical computer science / Software / Applied mathematics


A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier
Add to Reading List

Document Date: 2005-02-11 11:40:50

Open Document

File Size: 229,78 KB

Share Result on Facebook

City

Canberra / Moscow / Reading / Valletta / /

Company

Prentice-Hall / Cambridge University Press / MIT Press / /

Country

United States / Australia / Malta / /

/

Facility

Rutgers University / Australian National University / Building Sunrise / University of California / /

IndustryTerm

automatic tools / /

Organization

Cambridge University / Department of Computer Science / MIT / INTRODUCTION Chapter / Rutgers University / University of California / Los Angeles / Australian National University / /

Person

David F. Martin / Addison Wesley / Sunrise / Juanito Camilleri / David Gries / Peter V. Homeier / Ernst-Rudiger Olderog / Thomas Melham / Krzysztof R. Apt / Michael A. Arbib / /

/

Position

author / programmer / /

ProvinceOrState

New Brunswick / California / /

PublishedMedium

The Computer Journal / /

Technology

VCG technology / /

URL

http /

SocialTag