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

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05)
Editors	D. Petcu et al
Pages	16-19
Number of pages	4
Publication status	Published - Sept 2005

Publication series

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

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

Jebelean, T., & Kovacs, L. (2005). An Algorithm for Automated Generation of Invariants for Loops with Conditionals. In D. Petcu et al (Ed.), Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05) (pp. 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). editor / D. Petcu et al. 2005. pp. 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 (ed.), 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, pp. 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). ed. / D. Petcu et al. 2005. p. 16-19 (Department of Computer Science, West University of Timisoara, Romania).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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, editor, Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05). 2005. p. 16-19. (Department of Computer Science, West University of Timisoara, Romania).