LEVER: A tool for learning based verification

Abhay Vardhan; Mahesh Viswanathan

doi:10.1007/11817963_43

LEVER: A tool for learning based verification

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

Original language	English (US)
Title of host publication	Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings
Publisher	Springer
Pages	471-474
Number of pages	4
ISBN (Print)	354037406X, 9783540374060
DOIs	https://doi.org/10.1007/11817963_43
State	Published - 2006
Event	18th International Conference on Computer Aided Verification, CAV 2006 - Seattle, WA, United States Duration: Aug 17 2006 → Aug 20 2006

Publication series

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

Other

Other	18th International Conference on Computer Aided Verification, CAV 2006
Country/Territory	United States
City	Seattle, WA
Period	8/17/06 → 8/20/06

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/11817963_43

Library availability

Discover UIUC Full Text

Cite this

Vardhan, A., & Viswanathan, M. (2006). LEVER: A tool for learning based verification. In Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings (pp. 471-474). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4144 LNCS). Springer. https://doi.org/10.1007/11817963_43

LEVER: A tool for learning based verification. / Vardhan, Abhay; Viswanathan, Mahesh.
Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings. Springer, 2006. p. 471-474 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4144 LNCS).

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

Vardhan, A & Viswanathan, M 2006, LEVER: A tool for learning based verification. in Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4144 LNCS, Springer, pp. 471-474, 18th International Conference on Computer Aided Verification, CAV 2006, Seattle, WA, United States, 8/17/06. https://doi.org/10.1007/11817963_43

@inproceedings{7a2fed771a91460986da2e241d91f0d7,

title = "LEVER: A tool for learning based verification",

author = "Abhay Vardhan and Mahesh Viswanathan",

year = "2006",

doi = "10.1007/11817963_43",

language = "English (US)",

isbn = "354037406X",

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

publisher = "Springer",

pages = "471--474",

booktitle = "Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings",

address = "Germany",

}

TY - GEN

T1 - LEVER

T2 - 18th International Conference on Computer Aided Verification, CAV 2006

AU - Vardhan, Abhay

AU - Viswanathan, Mahesh

PY - 2006

Y1 - 2006

UR - http://www.scopus.com/inward/record.url?scp=33749843567&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749843567&partnerID=8YFLogxK

U2 - 10.1007/11817963_43

DO - 10.1007/11817963_43

M3 - Conference contribution

AN - SCOPUS:33749843567

SN - 354037406X

SN - 9783540374060

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

SP - 471

EP - 474

BT - Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings

PB - Springer

Y2 - 17 August 2006 through 20 August 2006

ER -

LEVER: A tool for learning based verification

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this