Termination Analysis With Compositional Transition Invariants
Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, and Christoph M. Wintersteiger
2010
In Proceedings of the 22nd International Conference on Computer Aided Verification (CAV)
Publisher Springer
Details
| Type | Inproceedings |
| Number | 6174 |
| Series | LNCS |
Related People
Share
