An Algorithm for Automated Generation of Invariants for Loops with Conditionals

Tudor Jebelean; Laura Kovacs

An Algorithm for Automated Generation of Invariants for Loops with Conditionals

Tudor Jebelean
, Laura Kovacs

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05)
Herausgeber*innen	D. Petcu et al
Seiten	16-19
Seitenumfang	4
Publikationsstatus	Veröffentlicht - Sep. 2005

Publikationsreihe

Name	Department of Computer Science, West University of Timisoara, Romania

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

Dieses zitieren

Jebelean, T., & Kovacs, L. (2005). An Algorithm for Automated Generation of Invariants for Loops with Conditionals. in D. Petcu et al (Hrsg.), Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05) (S. 16-19). (Department of Computer Science, West University of Timisoara, Romania).

Jebelean, Tudor ; Kovacs, Laura. / An Algorithm for Automated Generation of Invariants for Loops with Conditionals. Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05). Hrsg. / D. Petcu et al. 2005. S. 16-19 (Department of Computer Science, West University of Timisoara, Romania).

@inproceedings{7f873c1e702e4817a4573c225e71f10d,

title = "An Algorithm for Automated Generation of Invariants for Loops with Conditionals",

author = "Tudor Jebelean and Laura Kovacs",

year = "2005",

month = sep,

language = "English",

series = "Department of Computer Science, West University of Timisoara, Romania",

pages = "16--19",

editor = "\{D. Petcu et al\}",

booktitle = "Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05)",

}

Jebelean, T & Kovacs, L 2005, An Algorithm for Automated Generation of Invariants for Loops with Conditionals. in D. Petcu et al (Hrsg.), Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05). Department of Computer Science, West University of Timisoara, Romania, S. 16-19.

An Algorithm for Automated Generation of Invariants for Loops with Conditionals. / Jebelean, Tudor; Kovacs, Laura.
Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05). Hrsg. / D. Petcu et al. 2005. S. 16-19 (Department of Computer Science, West University of Timisoara, Romania).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - An Algorithm for Automated Generation of Invariants for Loops with Conditionals

AU - Jebelean, Tudor

AU - Kovacs, Laura

PY - 2005/9

Y1 - 2005/9

M3 - Conference proceedings

T3 - Department of Computer Science, West University of Timisoara, Romania

SP - 16

EP - 19

BT - Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05)

A2 - D. Petcu et al, null

ER -

Jebelean T, Kovacs L. An Algorithm for Automated Generation of Invariants for Loops with Conditionals. in D. Petcu et al, Hrsg., Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05). 2005. S. 16-19. (Department of Computer Science, West University of Timisoara, Romania).