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

Computer Science and Engineering

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

47 Scopus citations

Original language	English (US)
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
State	Published - 2007
Event	21st International Conference on Automated Deduction, CADE-21 2007 - Bremen, Germany Duration: Jul 17 2007 → Jul 20 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

Other

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

Access

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

OpenUrl availability

Full text

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

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

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, 7/17/07. https://doi.org/10.1007/978-3-540-73595-3_28

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

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{af7c73be3f2b4b79965d0c1e24f672b1,

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",

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

language = "English (US)",

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",

}

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

Y1 - 2007

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

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

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 -

The Bedwyr system for model checking over syntactic expressions

Publication series

Other

Access

OpenUrl availability

Other files and links

Cite this