Incremental verification with mode variable invariants in state machines

Temesghen Kahsai, Pierre-Loic Garoche, Cesare Tinelli, Mike Whalen
January 2012
Cite DOI
Type
Conference paper
Publication
NASA Formal Methods - Forth International Symposium, NFM 2012, Norfolk, VA USA, April 3-5, 2012. Proceedings
"own"

Related