On the incompleteness of proving partial correctness

Tamás Gergely; Miklós Szőts

Skip to main content Skip to main navigation menu Skip to site footer

On the incompleteness of proving partial correctness

Tamás Gergely
Miklós Szőts

Downloads

Download data is not yet available.

PDF

Published

1978-01-01

How to Cite

Gergely, T., & Szőts, M. (1978). On the incompleteness of proving partial correctness. Acta Cybernetica, 4(1), 45-57. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3165

Download Citation

Issue

Vol 4 No 1 (1978)

Section

Regular articles

Most read articles by the same author(s)

Tamás Gergely, István Németi, Logical foundations for a general theory of systems , Acta Cybernetica: Vol 2 No 3 (1975)
Tamás Gergely, László Úry, Nondeterministic programming within the frame of first order classical logic : part 1 , Acta Cybernetica: Vol 4 No 4 (1980)
Tamás Gergely, László Úry, Nondeterministic programming within the frame of first order classical logic : part 2 , Acta Cybernetica: Vol 4 No 4 (1980)
Tamás Gergely, Algebraic representation of language hierarchies , Acta Cybernetica: Vol 5 No 3 (1981)
Csaba Faragó, Tamás Gergely, Handling pointers and unstructured statements in the forward computed dynamic slice algorithm , Acta Cybernetica: Vol 15 No 4 (2002)
Miklós Szőts, Tamás Grőbler, András Simonyi, How to represent meanings in an ontology , Acta Cybernetica: Vol 18 No 2 (2007)
András Simonyi, Miklós Szőts, An ontology segmentation tool , Acta Cybernetica: Vol 19 No 3 (2010)
Ferenc Horváth, Tamás Gergely, Structural information aided automated test method for magic 4GL , Acta Cybernetica: Vol 22 No 1 (2015)
Tamás Gergely, Gergő Balogh, Ferenc Horváth, Béla Vancsics, Árpád Beszédes, Tibor Gyimóthy, Analysis of Static and Dynamic Test-to-code Traceability Information , Acta Cybernetica: Vol 23 No 3 (2018)