Search results for: Viktor Kuncak
Formal Methods in System Design > 2017 > 51 > 3 > 500-532
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 380-395
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 218-232
Lecture Notes in Computer Science > Computer Aided Verification > Session 7: Decision Procedures > 268-280
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 278-293
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 203-217
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 157-173
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Static Analysis > 214-226
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 6. Satisfiability Modulo Theories > 215-230
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 1 > 74-88