Verifying temporal properties in real models

Tim French; John Mccabe-Dansted; Mark Reynolds

doi:10.1007/978-3-642-45221-5_22

Verifying temporal properties in real models

Tim French
, John Mccabe-Dansted
, Mark Reynolds

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle of host publication	19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings
Editors	Ken McMillan, Aart Middeldorp, Andrei Voronkov
Place of Publication	Germany
Publisher	Springer
Pages	309-232
ISBN (Print)	9783642452208
DOIs	https://doi.org/10.1007/978-3-642-45221-5_22
Publication status	Published - 2013
Event	19th International Conference, LPAR-19, 2013 - Stellenbosch, South Africa Duration: 14 Dec 2013 → 19 Dec 2013

Publication series

Name	Lecture Notes in Computer Science
Number	8312

Conference

Conference	19th International Conference, LPAR-19, 2013
Country/Territory	South Africa
City	Stellenbosch
Period	14/12/13 → 19/12/13

Access to Document

10.1007/978-3-642-45221-5_22

Cite this

French, T., Mccabe-Dansted, J., & Reynolds, M. (2013). Verifying temporal properties in real models. In K. McMillan, A. Middeldorp, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings (pp. 309-232). (Lecture Notes in Computer Science; No. 8312). Springer. https://doi.org/10.1007/978-3-642-45221-5_22

French, Tim ; Mccabe-Dansted, John ; Reynolds, Mark. / Verifying temporal properties in real models. Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings. editor / Ken McMillan ; Aart Middeldorp ; Andrei Voronkov. Germany : Springer, 2013. pp. 309-232 (Lecture Notes in Computer Science; 8312).

@inproceedings{bfb0e0a842c84de79c41febf5d1a168f,

title = "Verifying temporal properties in real models",

author = "Tim French and John Mccabe-Dansted and Mark Reynolds",

year = "2013",

doi = "10.1007/978-3-642-45221-5\_22",

language = "English",

isbn = "9783642452208",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "8312",

pages = "309--232",

editor = "Ken McMillan and Aart Middeldorp and Andrei Voronkov",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

address = "Netherlands",

note = "19th International Conference, LPAR-19, 2013 ; Conference date: 14-12-2013 Through 19-12-2013",

}

French, T, Mccabe-Dansted, J & Reynolds, M 2013, Verifying temporal properties in real models. in K McMillan, A Middeldorp & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings. Lecture Notes in Computer Science, no. 8312, Springer, Germany, pp. 309-232, 19th International Conference, LPAR-19, 2013 , Stellenbosch, South Africa, 14/12/13. https://doi.org/10.1007/978-3-642-45221-5_22

Verifying temporal properties in real models. / French, Tim; Mccabe-Dansted, John; Reynolds, Mark.
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings. ed. / Ken McMillan; Aart Middeldorp; Andrei Voronkov. Germany: Springer, 2013. p. 309-232 (Lecture Notes in Computer Science; No. 8312).

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

TY - GEN

T1 - Verifying temporal properties in real models

AU - French, Tim

AU - Mccabe-Dansted, John

AU - Reynolds, Mark

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-45221-5_22

DO - 10.1007/978-3-642-45221-5_22

M3 - Conference paper

SN - 9783642452208

T3 - Lecture Notes in Computer Science

SP - 309

EP - 232

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - McMillan, Ken

A2 - Middeldorp, Aart

A2 - Voronkov, Andrei

PB - Springer

CY - Germany

T2 - 19th International Conference, LPAR-19, 2013

Y2 - 14 December 2013 through 19 December 2013

ER -

French T, Mccabe-Dansted J, Reynolds M. Verifying temporal properties in real models. In McMillan K, Middeldorp A, Voronkov A, editors, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings. Germany: Springer. 2013. p. 309-232. (Lecture Notes in Computer Science; 8312). doi: 10.1007/978-3-642-45221-5_22