Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking

Tatiana Rybina; Andrei Voronkov; Ed Brinksma; Kim Guldstrand Larsen

Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking

Tatiana Rybina, Andrei Voronkov, Ed Brinksma (Editor), Kim Guldstrand Larsen (Editor)

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

Original language	English
Title of host publication	CAV
Editors	Ed Brinksma, Kim Guldstrand Larsen
Publisher	Springer Nature
Pages	386-400
Number of pages	15
Volume	2404
ISBN (Print)	3-540-43997-8
Publication status	Published - 2002
Event	Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/cav/cav2002.html#RybinaV02http://dblp.uni-trier.de/rec/bibtex/conf/cav/RybinaV02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cav/RybinaV02

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/cav/cav2002.html#RybinaV02http://dblp.uni-trier.de/rec/bibtex/conf/cav/RybinaV02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cav/RybinaV02

Access to Document

Cite this

@inproceedings{f262c1d2843a4a45baab652ef3a99a7e,

title = "Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking",

author = "Tatiana Rybina and Andrei Voronkov and Ed Brinksma and Larsen, {Kim Guldstrand}",

year = "2002",

language = "English",

isbn = "3-540-43997-8",

volume = "2404",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "386--400",

editor = "Ed Brinksma and Larsen, {Kim Guldstrand}",

booktitle = "CAV",

address = "United States",

note = "Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/cav/cav2002.html#RybinaV02http://dblp.uni-trier.de/rec/bibtex/conf/cav/RybinaV02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cav/RybinaV02",

}

Rybina, T, Voronkov, A, Brinksma, E (ed.) & Larsen, KG (ed.) 2002, Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. in E Brinksma & KG Larsen (eds), CAV. vol. 2404, Lecture Notes in Computer Science, Springer Nature, pp. 386-400, Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/cav/cav2002.html#RybinaV02>

Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. / Rybina, Tatiana; Voronkov, Andrei; Brinksma, Ed (Editor) et al.
CAV. ed. / Ed Brinksma; Kim Guldstrand Larsen. Vol. 2404 Springer Nature, 2002. p. 386-400 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking

AU - Rybina, Tatiana

AU - Voronkov, Andrei

A2 - Brinksma, Ed

A2 - Larsen, Kim Guldstrand

A2 - Brinksma, Ed

A2 - Larsen, Kim Guldstrand

PY - 2002

Y1 - 2002

M3 - Conference contribution

SN - 3-540-43997-8

VL - 2404

T3 - Lecture Notes in Computer Science

SP - 386

EP - 400

BT - CAV

PB - Springer Nature

T2 - Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings

Y2 - 1 January 1824

ER -