MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Natasha Sharygina" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

ATOM

Approximating predicate images for bit-vector logic
by Daniel Kroening, Natasha Sharygina — 2006 — In TACAS
…Approximating Predicate Images for Bit-Vector Logic ⋆ Daniel Kroening 1 and Natasha Sharygina 2 1…
Cited by 4 (1 self) – Add To MetaCart

A Combined Testing and Verification Approach for Software Reliability
by Natasha Sharygina, Doron Peled — 2001 — In Proc. of FME2001 (to appear
…A Combined Testing and Verification Approach for Software Reliability Natasha Sharygina and Doron…
Cited by 10 (3 self) – Add To MetaCart

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
by Himanshu Jain, Natasha Sharygina — 2005 — in DAC
… CMU SCS, Pittsburgh, PA 15213 Natasha Sharygina CMU SCS and SEI, Pittsburgh, PA 15213 Model checking…
Cited by 20 (7 self) – Add To MetaCart

Symbolic model checking for asynchronous boolean programs
by Byron Cook, Natasha Sharygina — 2005 — in SPIN
… , and Natasha Sharygina 3 1 Microsoft Research 2 ETH Zurich 3 Carnegie Mellon University Abstract. Software…
Cited by 11 (5 self) – Add To MetaCart

Dynamic component substitutability analysis
by Sagar Chaki, Edmund Clarke, Natasha Sharygina, Nishant Sinha — 2005 — In Proc. of Conf. on Formal Methods
… Dynamic Component Substitutability Analysis ? Sagar Chaki Edmund Clarke Natasha Sharygina…
Cited by 6 (3 self) – Add To MetaCart

N.: Program Compatibility Approaches
by Edmund Clarke, Natasha Sharygina, Nishant Sinha — 2005 — In Proceedings of the Formal Methods for Components and Objects symposium, FMCO 2006
…Program Compatibility Approaches Edmund Clarke, Natasha Sharygina, and Nishant Sinha Carnegie…
Cited by 1 (0 self) – Add To MetaCart

Automated, Compositional and Iterative Deadlock Detection
by Sagar Chaki, Edmund Clarke, Joel Ouaknine, Natasha Sharygina — 2004 — In MEMOCODE 2004: Second ACM-IEEE International Conference on Formal Methods and Models for Codesign
… Natasha Sharygina Carnegie Mellon University, Pittsburgh, USA fchaki…
Cited by 4 (1 self) – Add To MetaCart

Lessons learned from model checking a NASA robot controller
by Natasha Sharygina, James Browne, Fei Xie, Vladimir Levin — 2004 — Formal Methods in Systems Design Journal
…. Manufactured in The Netherlands. Lessons Learned from Model Checking a NASA Robot Controller NATASHA SHARYGINA…
Cited by 2 (0 self) – Add To MetaCart

Dynamic component substitutability analysis
by Natasha Sharygina, Sagar Chaki, Edmund Clarke, Nishant Sinha — 2005 — In Proceedings of the International Symposium of Formal Methods Europe
…Dynamic Component Substitutability Analysis ⋆ Natasha Sharygina Sagar Chaki Edmund Clarke Nishant…
Cited by 3 (0 self) – Add To MetaCart

VCEGAR: Verilog counterexample guided abstraction refinement
by Himanshu Jain, Natasha Sharygina, Edmund Clarke — 2007 — In Tools and Algorithms for the Construction and Analysis of Systems (TACAS’07
… , Natasha Sharygina 1,3 , and Edmund Clarke 1 1 Carnegie Mellon University, School of Computer Science 2 ETH…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB