Consortium of Swiss Academic Libraries

Decision Procedures for Flat Array Properties

Alberti, Francesco ; Ghilardi, Silvio ; Sharygina, Natasha

In: Journal of Automated Reasoning, 2015, vol. 54, no. 4, p. 327-352

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