Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sudhindra Pandav
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
State Space Reduction in Modeling Checking Parameterized Cache Coherence Protocol by Two-Dimensional Abstraction
Journal of Supercomputing
Hardware
Information Systems
Theoretical Computer Science
Architecture
Software
Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems
Herald of the Bauman Moscow State Technical University. Series Instrument Engineering
Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Software Cache Coherence for Large Scale Multiprocessors
Integrating Formal Verification With Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
TSO-CC: Consistency Directed Cache Coherence for TSO
