Crossmark

Verus: Verifying Rust Programs using Linear Ghost Types

Crossref DOI link: https://doi.org/10.1145/3586037

Published Online: 2023-04-06

Published Print: 2023-04-06

Update policy: https://doi.org/10.1145/crossmark-policy

Authors

Lattuada, Andrea https://orcid.org/0000-0002-9303-452X
Hance, Travis https://orcid.org/0009-0003-1104-7795
Cho, Chanhee https://orcid.org/0009-0009-6620-9070
Brun, Matthias https://orcid.org/0009-0004-5349-4347
Subasinghe, Isitha https://orcid.org/0009-0001-2401-1682
Zhou, Yi https://orcid.org/0000-0001-7597-1176
Howell, Jon https://orcid.org/0000-0002-1781-2473
Parno, Bryan https://orcid.org/0000-0002-9113-1684
Hawblitzel, Chris https://orcid.org/0000-0002-5676-0362
More Information

Publication History

Published: 2023-04-06