format_version: "0.1"
id: g_fwd_rev_interlock
name: "FWD/REV Motor Interlock"
domain: motor_control
language: LD-graphical
source:
  origin: lessons-electric-circuits
  reference: "Lessons In Electric Circuits, Volume IV - Digital, Chapter 6 (Ladder Logic), by Tony R. Kuphaldt"
  license: "Design Science License"
properties_file: props.yaml
safety_intent: "Forward and Reverse contactors must never be closed at the same time."
validation_status: candidate
variants:
  - file: fwd_rev_interlock.xml
    expected_verdict: true
    ground_truth:
      method: cross-tool-consensus
      confirmed_by: [esbmc-plc ld route, esbmc-plc via matiec c]
      witness: "results/records/g_fwd_rev_interlock__fwd_rev_interlock.json"
features: [contact, coil, parallel_branch]
difficulty: easy
tags: [interlock, scan-order, safety]