Statistics
Publications
4
Citations
83
H-Index
4
Active since
2005
Lucas Wagner is an author at Rockwell Automation (United States) specializing in formal methods, systems engineering, and model checking.
Publications per year
2005–2021
4
4
Proof-based coverage metrics for formal verification
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen et al. · 2017 · 14 citations
1–4 of 4