Refine my results

Scalable abstractions for efficient security checks

Tsitovich, Aliaksei ; Sharygina, Natasha (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2011 ; 2011INFO008.

Following the industrial demand to address the problem of software correctness, the computer science research community puts a lot of efforts into development of scalable and precise formal methods that are applicable to industrial-size programs. Unfortunately, most of software verification techniques suffer from the effect of combinatorial blowup also known as a "state-space explosion", i.e.,...