Module Lockfree

module Lockfree: sig .. end

Lock-freedom prover

val check_lockfree : Symbsimp.global_env ->
       (Misc.component * Commands.res_init) list ->
       (string * Commands.can_entailment) list -> bool

Imprint | Data protection