Publications

Automated Verification of Security Policies in Mobile Code., Braghin, C.; Sharygina, N.; Barone-Adesi, K. , Integrated Formal Methods (IFM), Volume 4591, p.37-53, Springer (2007)

Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs., Kroening, D.; Sharygina, N. , DATE, p.1325-1330, ACM (2007)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement., Jain, H.; Kroening, D.; Sharygina, N.; Clarke, E.M. , Lecture Notes in Computer Science, Volume 4424, p.583-586, Springer (2007)
Download:  vcegar-tool.pdf 

Model Checking with Abstraction for Web Services., Sharygina, N.; Kröning, D. , Test and Analysis of Web Services, p.121-145, Springer (2007)