Automatic Verification of RMA Programs via Abstraction Extrapolation

Metadata only

Author

Date

2018

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Verification, Model Checking, and Abstract Interpretation

Journal / series

Lecture Notes in Computer Science

Volume

10747

Pages / Article No.

47 - 70

Publisher

Springer

Event

19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018), Los Angeles, CA, USA, January 7-9, 2018

Organisational unit

03950 - Hoefler, Torsten / Hoefler, Torsten
03948 - Vechev, Martin / Vechev, Martin

More

ETH Bibliography

yes

Altmetrics

Research Collection