A language-independent program verification framework

Xiaohong Chen; Grigore Roşu

doi:10.1007/978-3-030-03421-4_7

A language-independent program verification framework

Xiaohong Chen^*, Grigore Roşu

^*Corresponding author for this work

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

6 Citations (Scopus)

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	92-102
Number of pages	11
ISBN (Print)	9783030034207
DOIs	https://doi.org/10.1007/978-3-030-03421-4_7
Publication status	Published (VoR) - 2018
Event	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cyprus Duration: 5 Nov 2018 → 9 Nov 2018

Publication series

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

Conference

Conference	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
Country/Territory	Cyprus
City	Limassol
Period	5/11/18 → 9/11/18

Access to Document

10.1007/978-3-030-03421-4_7

Cite this

Chen, X., & Roşu, G. (2018). A language-independent program verification framework. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings (pp. 92-102). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11245 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-03421-4_7

Chen, Xiaohong ; Roşu, Grigore. / A language-independent program verification framework. Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2018. pp. 92-102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5af40aa0db32406db6587b58bf053b86,

title = "A language-independent program verification framework",

author = "Xiaohong Chen and Grigore Ro{\c s}u",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",

year = "2018",

doi = "10.1007/978-3-030-03421-4_7",

language = "English",

isbn = "9783030034207",

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

publisher = "Springer Verlag",

pages = "92--102",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings",

}

Chen, X & Roşu, G 2018, A language-independent program verification framework. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11245 LNCS, Springer Verlag, pp. 92-102, 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, Limassol, Cyprus, 5/11/18. https://doi.org/10.1007/978-3-030-03421-4_7

A language-independent program verification framework. / Chen, Xiaohong; Roşu, Grigore.
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2018. p. 92-102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11245 LNCS).

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

TY - GEN

T1 - A language-independent program verification framework

AU - Chen, Xiaohong

AU - Roşu, Grigore

N1 - Publisher Copyright: © Springer Nature Switzerland AG 2018.

PY - 2018

Y1 - 2018

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

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

U2 - 10.1007/978-3-030-03421-4_7

DO - 10.1007/978-3-030-03421-4_7

M3 - Conference contribution

AN - SCOPUS:85056450674

SN - 9783030034207

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

SP - 92

EP - 102

BT - Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

T2 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

Y2 - 5 November 2018 through 9 November 2018

ER -

Chen X, Roşu G. A language-independent program verification framework. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Springer Verlag. 2018. p. 92-102. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-03421-4_7

A language-independent program verification framework

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this