Progress Measures and Finite Arguments for Infinite Computations
Author | : Nils Klarlund |
Publisher | : |
Total Pages | : 121 |
Release | : 1990 |
Genre | : Computer programs |
ISBN | : 1599711508 |
Download Progress Measures and Finite Arguments for Infinite Computations Book in PDF, Epub and Kindle
Most previous research relies on transformations of programs in order to reduce a verification problem to problems that can be solved using classical techniques such a refinement mappings and well-founded orderings. Progress measures, the key innovation of this thesis, provide direct, syntax-independent verification techniques for a wide range of specifications.