Search results for: Amir Pnueli
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Talks > 4-4
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 261-272
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Talk > 146-146
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstract Interpretation > 124-139
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 348-362
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Biological Systems > 343-357
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 317-333
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Temporal Logic > 482-496
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Prototyping and Synthesis > 378-398