The Bedwyr system for model checking over syntactic expressions

David Baelde; Andrew Gacek; Dale Miller; Gopalan Nadathur; Alwen Tiu

doi:10.1007/978-3-540-73595-3_28

The Bedwyr system for model checking over syntactic expressions

David Baelde
, Andrew Gacek
, Dale Miller
, Gopalan Nadathur
, Alwen Tiu

Laboratoire d'Informatique (LIX)
University of Minnesota Twin Cities
Australian National University

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

51 Citations (Scopus)

Original language	English
Title of host publication	Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings
Publisher	Springer Verlag
Pages	391-397
Number of pages	7
ISBN (Print)	3540735941, 9783540735946
DOIs	https://doi.org/10.1007/978-3-540-73595-3_28
Publication status	Published - 1 Jan 2007
Event	21st International Conference on Automated Deduction, CADE-21 2007 - Bremen, Germany Duration: 17 Jul 2007 → 20 Jul 2007

Publication series

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

Conference

Conference	21st International Conference on Automated Deduction, CADE-21 2007
Country/Territory	Germany
City	Bremen
Period	17/07/07 → 20/07/07

Access to Document

10.1007/978-3-540-73595-3_28

Cite this

Baelde, D., Gacek, A., Miller, D., Nadathur, G., & Tiu, A. (2007). The Bedwyr system for model checking over syntactic expressions. In Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings (pp. 391-397). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4603 LNAI). Springer Verlag. https://doi.org/10.1007/978-3-540-73595-3_28

Baelde, David ; Gacek, Andrew ; Miller, Dale et al. / The Bedwyr system for model checking over syntactic expressions. Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag, 2007. pp. 391-397 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b49f67443ed54e03aa4ee42df16fc72c,

title = "The Bedwyr system for model checking over syntactic expressions",

author = "David Baelde and Andrew Gacek and Dale Miller and Gopalan Nadathur and Alwen Tiu",

year = "2007",

month = jan,

day = "1",

doi = "10.1007/978-3-540-73595-3\_28",

language = "English",

isbn = "3540735941",

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

publisher = "Springer Verlag",

pages = "391--397",

booktitle = "Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings",

note = "21st International Conference on Automated Deduction, CADE-21 2007 ; Conference date: 17-07-2007 Through 20-07-2007",

}

Baelde, D, Gacek, A, Miller, D, Nadathur, G & Tiu, A 2007, The Bedwyr system for model checking over syntactic expressions. in Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4603 LNAI, Springer Verlag, pp. 391-397, 21st International Conference on Automated Deduction, CADE-21 2007, Bremen, Germany, 17/07/07. https://doi.org/10.1007/978-3-540-73595-3_28

The Bedwyr system for model checking over syntactic expressions. / Baelde, David; Gacek, Andrew; Miller, Dale et al.
Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag, 2007. p. 391-397 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4603 LNAI).

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

TY - GEN

T1 - The Bedwyr system for model checking over syntactic expressions

AU - Baelde, David

AU - Gacek, Andrew

AU - Miller, Dale

AU - Nadathur, Gopalan

AU - Tiu, Alwen

PY - 2007/1/1

Y1 - 2007/1/1

U2 - 10.1007/978-3-540-73595-3_28

DO - 10.1007/978-3-540-73595-3_28

M3 - Conference contribution

AN - SCOPUS:35148871781

SN - 3540735941

SN - 9783540735946

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

SP - 391

EP - 397

BT - Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings

PB - Springer Verlag

T2 - 21st International Conference on Automated Deduction, CADE-21 2007

Y2 - 17 July 2007 through 20 July 2007

ER -

Baelde D, Gacek A, Miller D, Nadathur G, Tiu A. The Bedwyr system for model checking over syntactic expressions. In Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag. 2007. p. 391-397. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-73595-3_28