Search results for: Kedar S. Namjoshi
Formal Methods in System Design > 2018 > 53 > 2 > 166-188
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking II > 310-323
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking > 67-81
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Compositional Reasoning > 558-561
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Compositional Reasoning > 543-557
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Abstract Model Checking > 216-232
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 284-296
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 5 > 299-313
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification I > 449-461
Lecture Notes in Computer Science > Computer Aided Verification > Automata-Theoretic Methods > 394-405
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 320-335