On the incompleteness of proving partial correctness

Most read articles by the same author(s)

• 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)
• Ferenc Horváth, Tamás Gergely, Structural information aided automated test method for magic 4GL , Acta Cybernetica: Vol. 22 No. 1 (2015)
• Csaba Faragó, Tamás Gergely, Handling pointers and unstructured statements in the forward computed dynamic slice algorithm , Acta Cybernetica: Vol. 15 No. 4 (2002)
• Tamás Gergely, István Németi, Logical foundations for a general theory of systems , Acta Cybernetica: Vol. 2 No. 3 (1975)
• András Simonyi, Miklós Szőts, An ontology segmentation tool , Acta Cybernetica: Vol. 19 No. 3 (2010)
• 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)
• 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)