8 results on '"Daniel Kroening"'
Search Results
2. Formal Techniques for Effective Co-verification of Hardware/Software Co-designs.
3. Test-case generation for embedded simulink via formal concept analysis.
4. Coverage in interpolation-based model checking.
5. Word level predicate abstraction and refinement for verifying RTL verilog.
6. A SAT-based algorithm for reparameterization in symbolic simulation.
7. Behavioral consistency of C and verilog programs using bounded model checking.
8. Automated Pipeline Design.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.