Searching for authors named "Daniel Kroening" – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
Formal Verification of SystemC by Automatic Hardware/Software Partitioning
- …Formal Verification of SystemC by Automatic Hardware/Software Partitioning Daniel Kroening…
- Cited by 10 (1 self) – Add To MetaCart
-
Application Specific Higher Order Logic Theorem Proving
- …Application Specific Higher Order Logic Theorem Proving Daniel Kroening Computer Science…
- Cited by 3 (0 self) – Add To MetaCart
-
Image computation and predicate refinement for RTL verilog using word level proofs
- … Daniel Kroening ETH Zurich Automated abstraction is the enabling technique for model checking large…
- Cited by 1 (0 self) – Add To MetaCart
-
Lifting Propositional Interpolants to the Word-Level
- …Lifting Propositional Interpolants to the Word-Level Daniel Kroening Computer Systems Institute…
- Cited by 2 (0 self) – Add To MetaCart
-
Proving the Correctness of a Complete Microprocessor
- …Proving the Correctness of a Complete Microprocessor Christian Jacobi, Daniel Kroening ? Dept. 14…
- Cited by 7 (4 self) – Add To MetaCart
-
Checking consistency of C and Verilog using predicate abstraction and induction
- … Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University…
- Cited by 7 (3 self) – Add To MetaCart
-
Approximating predicate images for bit-vector logic
- …Approximating Predicate Images for Bit-Vector Logic ⋆ Daniel Kroening 1 and Natasha Sharygina 2 1…
- Cited by 4 (1 self) – Add To MetaCart
-
Hardware Verification using ANSI-C Programs as a Reference
- …Hardware Verification using ANSI-C Programs as a Reference £ Edmund Clarke Daniel Kroening…
- Cited by 20 (3 self) – Add To MetaCart
-
Over-Approximating Boolean Programs with Unbounded Thread Creation
- … Cambridge Email: bycook@(email omitted); Daniel Kroening Computer Systems Institute ETH Zurich Email: daniel…
- Cited by 3 (1 self) – Add To MetaCart
-
Efficient Computation of Recurrence Diameters
- …Efficient Computation of Recurrence Diameters ⋆ Daniel Kroening and Ofer Strichman Computer…
- Cited by 31 (14 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
