Search results for: Vineet Kahlon
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification II > 505-518
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Concurrent Programs > 124-138
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Execution > 382-396
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Parameterized Systems > 144-159
Lecture Notes in Computer Science > Computer Aided Verification > Session 9. Concurrent Program Verification I > 434-449
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite-State and Parametric Systems > 251-265
Lecture Notes in Computer Science > Computer Aided Verification > Session VII: Concurrent Program Verification > 226-239
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Protocol Verification > 247-262
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 4 > 321-336