XMC: A logic-programming-based verification toolset

C. R. Ramakrishnan; I. V. Ramakrishnan; Scott A. Smolka; Yifei Dong; Xiaoqun Du; Abhik Roychoudhury; V. N. Venkatakrishnan

doi:10.1007/10722167_48

XMC: A logic-programming-based verification toolset

C. R. Ramakrishnan
, I. V. Ramakrishnan
, Scott A. Smolka
, Yifei Dong
, Xiaoqun Du
, Abhik Roychoudhury
, V. N. Venkatakrishnan

Computer Science

Stony Brook University

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

26 Scopus citations

Original language	English
Title of host publication	Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings
Editors	E. Allen Emerson, A. Prasad Sistla
Publisher	Springer Verlag
Pages	576-580
Number of pages	5
ISBN (Print)	3540677704
DOIs	https://doi.org/10.1007/10722167_48
State	Published - 2000
Event	12th International Conference on Computer Aided Verification, CAV 2000 - Chicago, United States Duration: Jul 15 2000 → Jul 19 2000

Publication series

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

Conference

Conference	12th International Conference on Computer Aided Verification, CAV 2000
Country/Territory	United States
City	Chicago
Period	07/15/00 → 07/19/00

Access to Document

10.1007/10722167_48

Cite this

Ramakrishnan, C. R., Ramakrishnan, I. V., Smolka, S. A., Dong, Y., Du, X., Roychoudhury, A., & Venkatakrishnan, V. N. (2000). XMC: A logic-programming-based verification toolset. In E. Allen Emerson, & A. Prasad Sistla (Eds.), Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings (pp. 576-580). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1855). Springer Verlag. https://doi.org/10.1007/10722167_48

Ramakrishnan, C. R. ; Ramakrishnan, I. V. ; Smolka, Scott A. et al. / XMC : A logic-programming-based verification toolset. Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. editor / E. Allen Emerson ; A. Prasad Sistla. Springer Verlag, 2000. pp. 576-580 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{91badcfc632247efad8a2b4c6a9252f5,

title = "XMC: A logic-programming-based verification toolset",

author = "Ramakrishnan, \{C. R.\} and Ramakrishnan, \{I. V.\} and Smolka, \{Scott A.\} and Yifei Dong and Xiaoqun Du and Abhik Roychoudhury and Venkatakrishnan, \{V. N.\}",

year = "2000",

doi = "10.1007/10722167\_48",

language = "English",

isbn = "3540677704",

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

publisher = "Springer Verlag",

pages = "576--580",

editor = "\{Allen Emerson\}, E. and \{Prasad Sistla\}, A.",

booktitle = "Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings",

note = "12th International Conference on Computer Aided Verification, CAV 2000 ; Conference date: 15-07-2000 Through 19-07-2000",

}

Ramakrishnan, CR , Ramakrishnan, IV , Smolka, SA, Dong, Y, Du, X, Roychoudhury, A & Venkatakrishnan, VN 2000, XMC: A logic-programming-based verification toolset. in E Allen Emerson & A Prasad Sistla (eds), Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1855, Springer Verlag, pp. 576-580, 12th International Conference on Computer Aided Verification, CAV 2000, Chicago, United States, 07/15/00. https://doi.org/10.1007/10722167_48

XMC: A logic-programming-based verification toolset. / Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A. et al.
Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. ed. / E. Allen Emerson; A. Prasad Sistla. Springer Verlag, 2000. p. 576-580 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1855).

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

TY - GEN

T1 - XMC

T2 - 12th International Conference on Computer Aided Verification, CAV 2000

AU - Ramakrishnan, C. R.

AU - Ramakrishnan, I. V.

AU - Smolka, Scott A.

AU - Dong, Yifei

AU - Du, Xiaoqun

AU - Roychoudhury, Abhik

AU - Venkatakrishnan, V. N.

PY - 2000

Y1 - 2000

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

U2 - 10.1007/10722167_48

DO - 10.1007/10722167_48

M3 - Conference contribution

AN - SCOPUS:84944401730

SN - 3540677704

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

SP - 576

EP - 580

BT - Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings

A2 - Allen Emerson, E.

A2 - Prasad Sistla, A.

PB - Springer Verlag

Y2 - 15 July 2000 through 19 July 2000

ER -

Ramakrishnan CR , Ramakrishnan IV , Smolka SA, Dong Y, Du X, Roychoudhury A et al. XMC: A logic-programming-based verification toolset. In Allen Emerson E, Prasad Sistla A, editors, Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. Springer Verlag. 2000. p. 576-580. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/10722167_48

XMC: A logic-programming-based verification toolset

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this