Bellerophon: Tactical theorem proving for hybrid systems

Nathan Fulton; Stefan Mitsch; Brandon Bohrer; André Platzer

doi:10.1007/978-3-319-66107-0_14

Bellerophon: Tactical theorem proving for hybrid systems

Nathan Fulton
, Stefan Mitsch
, Brandon Bohrer
, André Platzer

Carnegie Mellon University

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

Original language	English
Title of host publication	Interactive Theorem Proving - 8th International Conference, ITP 2017,Proceedings
Editors	Cesar A. Munoz, Mauricio Ayala-Rincon
Publisher	Springer Verlag
Pages	207-224
Number of pages	18
ISBN (Print)	9783319661063
DOIs	https://doi.org/10.1007/978-3-319-66107-0_14
State	Published - 2017
Externally published	Yes
Event	8th International Conference on Interactive Theorem Proving, ITP 2017 - Brasilia, Brazil Duration: Sep 26 2017 → Sep 29 2017

Publication series

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

Conference

Conference	8th International Conference on Interactive Theorem Proving, ITP 2017
Country/Territory	Brazil
City	Brasilia
Period	9/26/17 → 9/29/17

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-66107-0_14

Cite this

Fulton, N., Mitsch, S., Bohrer, B., & Platzer, A. (2017). Bellerophon: Tactical theorem proving for hybrid systems. In C. A. Munoz, & M. Ayala-Rincon (Eds.), Interactive Theorem Proving - 8th International Conference, ITP 2017,Proceedings (pp. 207-224). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10499 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-66107-0_14

Bellerophon: Tactical theorem proving for hybrid systems. / Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon et al.
Interactive Theorem Proving - 8th International Conference, ITP 2017,Proceedings. ed. / Cesar A. Munoz; Mauricio Ayala-Rincon. Springer Verlag, 2017. p. 207-224 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10499 LNCS).

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

Fulton, N, Mitsch, S, Bohrer, B & Platzer, A 2017, Bellerophon: Tactical theorem proving for hybrid systems. in CA Munoz & M Ayala-Rincon (eds), Interactive Theorem Proving - 8th International Conference, ITP 2017,Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10499 LNCS, Springer Verlag, pp. 207-224, 8th International Conference on Interactive Theorem Proving, ITP 2017, Brasilia, Brazil, 9/26/17. https://doi.org/10.1007/978-3-319-66107-0_14

Fulton N, Mitsch S, Bohrer B, Platzer A. Bellerophon: Tactical theorem proving for hybrid systems. In Munoz CA, Ayala-Rincon M, editors, Interactive Theorem Proving - 8th International Conference, ITP 2017,Proceedings. Springer Verlag. 2017. p. 207-224. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-66107-0_14

Fulton, Nathan ; Mitsch, Stefan ; Bohrer, Brandon et al. / Bellerophon : Tactical theorem proving for hybrid systems. Interactive Theorem Proving - 8th International Conference, ITP 2017,Proceedings. editor / Cesar A. Munoz ; Mauricio Ayala-Rincon. Springer Verlag, 2017. pp. 207-224 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0a76a97156694fc4ab0126339e2c44c2,

title = "Bellerophon: Tactical theorem proving for hybrid systems",

author = "Nathan Fulton and Stefan Mitsch and Brandon Bohrer and Andr{\'e} Platzer",

note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG.; 8th International Conference on Interactive Theorem Proving, ITP 2017 ; Conference date: 26-09-2017 Through 29-09-2017",

year = "2017",

doi = "10.1007/978-3-319-66107-0\_14",

language = "English",

isbn = "9783319661063",

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

publisher = "Springer Verlag",

pages = "207--224",

editor = "Munoz, \{Cesar A.\} and Mauricio Ayala-Rincon",

booktitle = "Interactive Theorem Proving - 8th International Conference, ITP 2017,Proceedings",

}

TY - GEN

T1 - Bellerophon

T2 - 8th International Conference on Interactive Theorem Proving, ITP 2017

AU - Fulton, Nathan

AU - Mitsch, Stefan

AU - Bohrer, Brandon

AU - Platzer, André

PY - 2017

Y1 - 2017

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

UR - https://www.scopus.com/pages/publications/85029524614#tab=citedBy

U2 - 10.1007/978-3-319-66107-0_14

DO - 10.1007/978-3-319-66107-0_14

M3 - Conference contribution

AN - SCOPUS:85029524614

SN - 9783319661063

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

SP - 207

EP - 224

BT - Interactive Theorem Proving - 8th International Conference, ITP 2017,Proceedings

A2 - Munoz, Cesar A.

A2 - Ayala-Rincon, Mauricio

PB - Springer Verlag

Y2 - 26 September 2017 through 29 September 2017

ER -

Bellerophon: Tactical theorem proving for hybrid systems

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this