Search results for: Shuvendu K. Lahiri
Formal Methods in System Design > 2019 > 54 > 1 > 4-26
Formal Methods in System Design > 2018 > 53 > 1 > 33-53
Journal of Automated Reasoning > 2018 > 60 > 1 > 23-42
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 231-246
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Bounded Model Checking > 348-362
Lecture Notes in Computer Science > Frontiers of Combining Systems > Constraint Solving and Programming > 168-183
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Microprocessor Specification and Verification > 142-159
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 6. Interpolation and Predicate Abstraction > 214-229
Lecture Notes in Computer Science > Static Analysis > 112-128
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 2-22
Lecture Notes in Computer Science > Computer Aided Verification > Session 15. Abstract Interpretation > 424-437
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 19-33
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Theorem Proving > 1-15