Search results for: Miroslav N. Velev
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2017 > 25 > 1 > 1 - 20
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 136-150
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Formal Verification > 307-322
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Rewriting and Theorem-Proving Techniques > 235-240
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Hardware: Design and Verification > 252-267
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification II > 355-370
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Proof of Microprocessors > 37-53
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Extended Abstracts of Invited Lectures > 1-13
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 196-213
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Abstraction > 97-113
Lecture Notes in Computer Science > AI 2009: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 517-527