Extending KeY for the Verification of C Programs: The Development of a Prototype
63,76 €
Extending KeY for the Verification of C Programs. Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing research topic.
Jetzt bei Ebay:
