Software Engineering Empirical Research Radar
FM Papers
Recent FM papers in the SEER Radar snapshot.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Reasoning over Relaxed Shared Memory Models: A Tutorial Brijesh Dongol | FM | 2026 | Program Analysis / Verification / Formal Methods |