Natasha Sharygina

Computational Theory and Mathematics · 2005

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

Whom Natasha Sharygina trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Edmund M. Clarke

Who trusts Natasha Sharygina overall

  1. Dirk Beyer
  2. Kenneth L. McMillan

Papers from Natasha Sharygina's perspective

Ordered by how strongly the researchers Natasha Sharygina trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Lazy abstraction
  2. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  3. Simplify: a theorem prover for program checking (JACM)
  4. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  5. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  6. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  9. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  10. An axiomatic basis for computer programming

Their papers