<div class="csl-bib-body">
<div class="csl-entry">Jucu, I. (2013). <i>An evaluation of symbol elimination for generating first-order loop invariants</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.22624</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2013.22624
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/4211
-
dc.description
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers
-
dc.description
Zsfassung in dt. Sprache
-
dc.description.abstract
Invariant generiert ist ein kritische Problem für Programmen mit Schleife zum Beweisen der Eigenschaften, inclusive die Richtigkeit. Die problem wird schwerer bei hohe Anzhal des Quantoren in die geprüfte Eigenschaft. In diese arbeit wir studiere diese Problem und versuchen combinieren verschieden Methoden für schwarer invariants zu beweisen.
de
dc.description.abstract
Invariant genereation is a critical problem in proving dierent properties for programs with loops, properties including correctnes. The problem becomes harder with the incresing numbers of quanti ers in the property to be proven. In this paper we study and combine dierent methods of invariant generation in order to obtain stronger properties.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
An evaluation of symbol elimination for generating first-order loop invariants
en
dc.title.alternative
An Evaluation of Symbol Elimination for Generating First-Order Loop Invariants