Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by James B. Saxe
Induction in Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Synthesis of Assumptions for Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Subsystem Safety Properties in Compositional Reachability Analysis
Compositional Entailment Checking for a Fragment of Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Invariant Checking for Overlaid and Nested Linked Lists
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Regression Model Checking
Counterexamples in Probabilistic Model Checking
