Search results for: Arie Gurfinkel
Lecture Notes in Computer Science > Static Analysis > 287-303
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Code Understanding and Validation > 220-236
Lecture Notes in Computer Science > Model Checking Software > Technical Papers and Tool Reports > 16-36
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 347-353
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 349-365
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction > 212-226
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Temporal Logic > 451-466
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Model-Checking and HMSC > 266-280
Lecture Notes in Computer Science > Computer Aided Verification > Session 9. Concurrent Program Verification I > 495-510
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstractions and Counter-Examples > 160-175
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Abstraction > 65-80