Showing 1 - 20 results of 29 for search 'Sharygina, N', query time: 0.14s
Refine Results
-
1
Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs by Kroening, D, Sharygina, N
Published 2007Conference item -
2
-
3
Approximating Predicate Images for Bit−Vector Logic by Kroening, D, Sharygina, N
Published 2006Conference item -
4
Formal Verification of SystemC by Automatic Hardware/Software Partitioning by Kroening, D, Sharygina, N
Published 2005Conference item -
5
Verification of Boolean Programs with Unbounded Thread Creation by Cook, B, Kroening, D, Sharygina, N
Published 2007Journal article -
6
Over−Approximating Boolean Programs with Unbounded Thread Creation by Cook, B, Kroening, D, Sharygina, N
Published 2006Conference item -
7
Verification of Boolean programs with unbounded thread creation. by Cook, B, Kroening, D, Sharygina, N
Published 2007Journal article -
8
Cogent: Accurate theorem proving for program verification by Cook, B, Kroening, D, Sharygina, N
Published 2005Conference item -
9
Accurate Theorem Proving for Program Verification by Cook, B, Kroening, D, Sharygina, N
Published 2006Conference item -
10
Symbolic model checking for asynchronous Boolean programs by Cook, B, Kroening, D, Sharygina, N
Published 2005Conference item -
11
Scoot: A Tool for the Analysis of SystemC Models by Blanc, N, Kroening, D, Sharygina, N
Published 2008Conference item -
12
Loop summarization using state and transition invariants by Kroening, D, Sharygina, N, Tonetta, S, al., E
Published 2013Journal article -
13
Predicate Abstraction of ANSI–C Programs using SAT by Clarke, E, Kroening, D, Sharygina, N, Yorav, K
Published 2015Journal article -
14
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog by Jain, H, Kroening, D, Sharygina, N, Clarke, E
Published 2008Journal article -
15
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog by Jain, H, Kroening, D, Sharygina, N, Clarke, E
Published 2005Conference item -
16
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. by Jain, H, Kroening, D, Sharygina, N, Clarke, E
Published 2008Journal article -
17
Predicate Abstraction of ANSI-C Programs Using SAT by Clarke, E, Kroening, D, Sharygina, N, Yorav, K
Published 2004Journal article -
18
Predicate Abstraction of ANSI-C Programs Using SAT. by Clarke, E, Kroening, D, Sharygina, N, Yorav, K
Published 2004Journal article -
19
Termination analysis with compositional transition invariants by Kroening, D, Sharygina, N, Tsitovich, A, Wintersteiger, C
Published 2010Conference item -
20
SATABS: SAT−based Predicate Abstraction for ANSI−C by Clarke, E, Kroening, D, Sharygina, N, Yorav, K
Published 2005Conference item