Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Termination Analysis With Compositional Transition Invariants

Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, and Christoph M. Wintersteiger

Details

Publication typeInproceedings
Published inProceedings of the 22nd International Conference on Computer Aided Verification (CAV)
Number6174
SeriesLNCS
PublisherSpringer
> Publications > Termination Analysis With Compositional Transition Invariants