Loop summarization using state and transition invariants

main.pdf
PDF file

In  Formal Methods in System Design

Publisher  Springer

Details

TypeArticle
Pages221-261
Volume42
Number3
> Publications > Loop summarization using state and transition invariants