Software Engineering Empirical Research Radar
FM 2026 Papers
FM 2026 paper list with topic labels.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Reasoning over Relaxed Shared Memory Models: A Tutorial Brijesh Dongol | FM | 2026 | Program Analysis / Verification / Formal Methods |