Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/7007
Title: Progress Measures for Verification Involving Nondeterminism
Authors: Klarlund, Nils
Schneider, Fred B.
Keywords: computer science
technical report
Issue Date: Nov-1990
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR90-1167
Abstract: Using the notion of progress measures, we give a complete verification method for proving that a program satisfies a property specified by an automaton having bounded nondeterminism. Such automata can express any safety property. Previous methods, which can be derived from the method presented here, either rely on transforming the program or are not complete.
URI: http://hdl.handle.net/1813/7007
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
90-1167.pdf1.61 MBAdobe PDFView/Open
90-1167.ps342.59 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us