Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification
Automating first-order relational logic