Edinburgh Research Explorer

Dr Chris Banks

Core Scientist (Research Fellow)

Research outputs

  1. VerC3: A Library for Explicit State Synthesis of Concurrent Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Verification of a lazy cache coherence protocol against a weak memory model

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (6) »

ID: 15194996