Termination Analysis with Compositional Transition Invariants
Additional information
Authors
Kröning D.,
Sharygina N.,
Tsitovich A.,
Wintersteiger C. M.
Type
Article in conference proceedings
Year
2010
Language
English
Keywords
Termination, transition invariants
Conference proceedings
International Conference on Computer-Aided Verification (CAV)
Publisher
Springer
Meeting place
Edinburgh, UK
Pages (or article number)
89-103
