Consortium of Swiss Academic Libraries

GSTE is partitioned model checking

Sebastiani, Roberto ; Singerman, Eli ; Tonetta, Stefano ; Vardi, Moshe

In: Formal Methods in System Design, 2007, vol. 31, no. 2, p. 177-196

Consortium of Swiss Academic Libraries

An abstraction refinement approach combining precise and approximated techniques

Sharygina, Natasha ; Tonetta, Stefano ; Tsitovich, Aliaksei

In: International Journal on Software Tools for Technology Transfer, 2012, vol. 14, no. 1, p. 1-14