verify-rust-std/CITATION.cff at main · model-checking/verify-rust-std · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
cff-version: 1.2.0
title: Verifying the Rust Standard Library
message: >-
  If you use this project in your research, please cite the NFM 2026 paper
  listed under `preferred-citation`.
type: software
authors:
  - name: The verify-rust-std Contributors
abstract: >-
  A fork of the Rust standard library created solely to formally verify the Rust
  standard library. The repository is tool-agnostic and integrates complementary
  verification tools into its continuous integration to prove the absence of a
  subset of undefined behaviors (e.g., out-of-bounds access, null and dangling
  pointer dereferences, and use of uninitialized memory) in the standard
  library.
repository-code: https://github.com/model-checking/verify-rust-std
url: https://model-checking.github.io/verify-rust-std/
keywords:
  - rust
  - formal verification
  - model checking
  - program analysis
  - undefined behavior
  - standard library
preferred-citation:
  type: conference-paper
  title: Verifying the Rust Standard Library
  authors:
    - given-names: Byron
      family-names: Cook
    - given-names: Remi
      family-names: Delmas
    - given-names: Zyad
      family-names: Hassan
    - given-names: Bart
      family-names: Jacobs
    - given-names: Ranjit
      family-names: Jhala
    - given-names: Rahul
      family-names: Kumar
    - given-names: Felipe R.
      family-names: Monteiro
    - given-names: Thanh
      family-names: Nguyen
    - given-names: Rebecca
      family-names: Rumbul
    - given-names: Michael
      family-names: Tautschnig
    - given-names: Celina
      family-names: Val
    - given-names: Carolyn
      family-names: Zech
  collection-title: >-
    NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA,
    USA, May 5–7, 2026, Proceedings
  collection-type: proceedings
  conference:
    name: 18th International Symposium on NASA Formal Methods (NFM 2026)
    city: Los Angeles
    region: CA
    country: US
    date-start: '2026-05-05'
    date-end: '2026-05-07'
  publisher:
    name: Springer-Verlag
    city: Berlin
    country: DE
  isbn: 978-3-032-28078-7
  year: 2026
  start: 415
  end: 435
  doi: 10.1007/978-3-032-28079-4_19
  url: https://doi.org/10.1007/978-3-032-28079-4_19