Search results for: Byron Cook
Software: Practice and Experience > 51 > 4 > 772 - 797
Lecture Notes in Computer Science > Computer Aided Verification > Session 14. Tools Papers > 415-418
Lecture Notes in Computer Science > Computer Aided Verification > Session 10: Program and Shape Analysis > 385-398
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Liveness > 236-250
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Tutorials > 4-4
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification > 330-344
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Proof of Microprocessors > 23-36
Lecture Notes in Computer Science > Static Analysis > Session 4 > 240-260
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 145-161