Collaborated with:A.Gacek M.W.Whalen L.G.Wagner M.P.E.Heimdahl J.Backes M.Whalen
Talks about:properti (1) generat (1) coverag (1) checker (1) safeti (1) metric (1) induct (1) formal (1) effici (1) verif (1)
Person: Elaheh Ghassabani
DBLP: Ghassabani:Elaheh
Contributed to:
2016
2017
2018Wrote 3 papers:
- FSE-2016-GhassabaniGW #generative #induction #performance #safety
- Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
- 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.