@inproceedings{10.1145/1499949.1500020,
    Abstract = {Mechanical verification of program correctness is desirable and possible. Given a program with complete, correct predicate specifications on the input, output, and each loop, verification of the output predicate is a mechanical process (cf. References 5 and 15 for surveys).},
    Address = {New York, NY, USA},
    Author = {German, Steven M. and Wegbreit, Ben},
    BookTitle = {Proceedings of the May 19-22, 1975, National Computer Conference and Exposition},
    File = {A synthesizer of inductive assertions - conference-proceeding - w - w.pdf},
    ISBN = {9781450379199},
    Location = {Anaheim, California},
    Pages = {369--376},
    Publisher = {Association for Computing Machinery},
    Series = {AFIPS '75},
    Title = {A Synthesizer of Inductive Assertions},
    URL = {https://doi.org/10.1145/1499949.1500020},
    Year = {1975},
    bdsk-url-1 = {https://doi.org/10.1145/1499949.1500020},
    date-added = {2021-03-30 06:32:50 +0200},
    date-modified = {2021-03-30 06:32:50 +0200},
    numpages = {8},
    doi = {10.1145/1499949.1500020}
}

@inproceedings{10.1145/1499949.1500020, Abstract = {Mechanical verification of program correctness is desirable and possible. Given a program with complete, correct predicate specifications on the input, output, and each loop, verification of the output predicate is a mechanical process (cf. References 5 and 15 for surveys).}, Address = {New York, NY, USA}, Author = {German, Steven M. and Wegbreit, Ben}, BookTitle = {Proceedings of the May 19-22, 1975, National Computer Conference and Exposition}, File = {A synthesizer of inductive assertions - conference-proceeding - w - w.pdf}, ISBN = {9781450379199}, Location = {Anaheim, California}, Pages = {369--376}, Publisher = {Association for Computing Machinery}, Series = {AFIPS '75}, Title = {A Synthesizer of Inductive Assertions}, URL = {https://doi.org/10.1145/1499949.1500020}, Year = {1975}, bdsk-url-1 = {https://doi.org/10.1145/1499949.1500020}, date-added = {2021-03-30 06:32:50 +0200}, date-modified = {2021-03-30 06:32:50 +0200}, numpages = {8}, doi = {10.1145/1499949.1500020} }