| Title | Loop summarization using state and transition invariants |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. |
| Journal | Formal Methods in System Design |
| Volume | 42 |
| ISSN | 0925-9856 |
| Full Text |
Formal Verification and Security Lab
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.
