Collaborated with:E.Ghassabani A.Gacek M.W.Whalen M.P.E.Heimdahl J.Backes M.Whalen
Talks about:coverag (1) checker (1) metric (1) formal (1) verif (1) proof (1) model (1) kind (1) base (1)
Person: Lucas G. Wagner
DBLP: Wagner:Lucas_G=
Contributed to:
2017
2018Wrote 2 papers:
- ASE-2017-GhassabaniGWHW #metric #verification
- Proof-based coverage metrics for formal verification (EG, AG, MWW, MPEH, LGW), pp. 194–199.
- CAV-2018-GacekBWWG #model checking
- The JKind Model Checker (AG, JB, MW, LGW, EG), pp. 20–27.