Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers

Pierre-Loic Garoche, Temesghen Kahsai, Cesare Tinelli
January 2013
Cite DOI
Type
Conference paper
Publication
NASA Formal Methods - Fifth International Symposium, NFM 2013, Moffett Field, CA USA, May 14-16, 2013. Proceedings
"own"

Related