Search results for: Fabio Somenzi
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction > 227-241
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 211-223
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Invited Talks > 2-2
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 56-73
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Theorem Proving > 31-45
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Symbolic Simulation/Symbolic Traversal > 250-266
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Algorithms and Techniques for Speeding Verification 2 > 207-221
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 162-179
Lecture Notes in Computer Science > Computer Aided Verification > Session 13: Hardware Verification II > 487-490
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 92-109