The zonotope abstract domain taylor1+

Khalil Ghorbal; Eric Goubault; Sylvie Putot

doi:10.1007/978-3-642-02658-4_47

The zonotope abstract domain taylor1+

Khalil Ghorbal
, Eric Goubault
, Sylvie Putot

LIST-DTSI-SLA CEA

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

Abstract

Static analysis by abstract interpretation [1] aims at automatically inferring properties on the behaviour of programs. We focus here on a specific kind of numerical invariants: the set of values taken by numerical variables, with a real numbers semantics, at each control point of a program.

Original language	English
Title of host publication	Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings
Publisher	Springer Verlag
Pages	627-633
Number of pages	7
ISBN (Print)	3642026575, 9783642026577
DOIs	https://doi.org/10.1007/978-3-642-02658-4_47
Publication status	Published - 1 Jan 2009
Externally published	Yes
Event	21st International Conference on Computer Aided Verification, CAV 2009 - Grenoble, France Duration: 26 Jun 2009 → 2 Jul 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5643 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	21st International Conference on Computer Aided Verification, CAV 2009
Country/Territory	France
City	Grenoble
Period	26/06/09 → 2/07/09

Access to Document

10.1007/978-3-642-02658-4_47

Cite this

Ghorbal, K., Goubault, E., & Putot, S. (2009). The zonotope abstract domain taylor1+. In Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings (pp. 627-633). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5643 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-02658-4_47

@inproceedings{1cbccfa489664da380455ea6a590d6af,

title = "The zonotope abstract domain taylor1+",

abstract = "Static analysis by abstract interpretation [1] aims at automatically inferring properties on the behaviour of programs. We focus here on a specific kind of numerical invariants: the set of values taken by numerical variables, with a real numbers semantics, at each control point of a program.",

author = "Khalil Ghorbal and Eric Goubault and Sylvie Putot",

year = "2009",

month = jan,

day = "1",

doi = "10.1007/978-3-642-02658-4\_47",

language = "English",

isbn = "3642026575",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "627--633",

booktitle = "Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings",

note = "21st International Conference on Computer Aided Verification, CAV 2009 ; Conference date: 26-06-2009 Through 02-07-2009",

}

Ghorbal, K, Goubault, E & Putot, S 2009, The zonotope abstract domain taylor1+. in Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5643 LNCS, Springer Verlag, pp. 627-633, 21st International Conference on Computer Aided Verification, CAV 2009, Grenoble, France, 26/06/09. https://doi.org/10.1007/978-3-642-02658-4_47

The zonotope abstract domain taylor1+. / Ghorbal, Khalil; Goubault, Eric ; Putot, Sylvie.
Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. Springer Verlag, 2009. p. 627-633 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5643 LNCS).

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

TY - GEN

T1 - The zonotope abstract domain taylor1+

AU - Ghorbal, Khalil

AU - Goubault, Eric

AU - Putot, Sylvie

PY - 2009/1/1

Y1 - 2009/1/1

N2 - Static analysis by abstract interpretation [1] aims at automatically inferring properties on the behaviour of programs. We focus here on a specific kind of numerical invariants: the set of values taken by numerical variables, with a real numbers semantics, at each control point of a program.

AB - Static analysis by abstract interpretation [1] aims at automatically inferring properties on the behaviour of programs. We focus here on a specific kind of numerical invariants: the set of values taken by numerical variables, with a real numbers semantics, at each control point of a program.

UR - https://www.scopus.com/pages/publications/70350594324

U2 - 10.1007/978-3-642-02658-4_47

DO - 10.1007/978-3-642-02658-4_47

M3 - Conference contribution

AN - SCOPUS:70350594324

SN - 3642026575

SN - 9783642026577

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 627

EP - 633

BT - Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings

PB - Springer Verlag

T2 - 21st International Conference on Computer Aided Verification, CAV 2009

Y2 - 26 June 2009 through 2 July 2009

ER -

The zonotope abstract domain taylor1+

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this